6533b838fe1ef96bd12a38f2

RESEARCH PRODUCT

On the History of Differentiable Manifolds

Giuseppe Iurato

subject

implicit functionWhitney's theoremprinciple of virtual worksMathematics::History and Overviewrigiddifferentiable manifold implicit function semantics Lindenbaum-Tarski algebraLindenbaum-Tarski algebra[MATH.MATH-LO]Mathematics [math]/Logic [math.LO][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG][MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO][MATH.MATH-LO] Mathematics [math]/Logic [math.LO][MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]semanticssyntaxdesignatordifferentiable manifold

description

International audience; We discuss central aspects of history of the concept of an affine dif-ferentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

yearjournalcountryeditionlanguage
2012-01-01
https://hal.archives-ouvertes.fr/hal-01423412