L'ontologie explicite des théorèmes d'existence en mathématiques
Merker, Joel
HAL, hal-00003400 / Harvested from HAL
Analyse philosophique des moyens de donation de l'existence des objets mathématiques à travers des exemples tirés de l'analyse et de la géométrie : théorème des fonctions implicites, théorème de Nash-Moser, existence de disques analytiques à bords dans des sous-variétés lagrangiennes de C^n (d'après Gromov), estimées L^2 de Hormander et solution du problème de Levi, positivité en Analyse Complexe, courants au sens de G. de Rham et P. Lelong, etc. Confrontation à la métaphysique lautmanienne des schémas de genèse et articulation du problématique.
Publié le : 1996-07-05
Classification:  00A30,  [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]
@article{hal-00003400,
     author = {Merker, Joel},
     title = {L'ontologie explicite des th\'eor\`emes d'existence en math\'ematiques},
     journal = {HAL},
     volume = {1996},
     number = {0},
     year = {1996},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003400}
}
Merker, Joel. L'ontologie explicite des théorèmes d'existence en mathématiques. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003400/