@article{SPHM_1996___6_A1_0, author = {Merker, Jo\"el}, title = {L'ontologie explicite des th\'eor\`emes d'existence en math\'ematiques}, journal = {S\'eminaire de Philosophie et Math\'ematiques}, pages = {1--67}, publisher = {\'Ecole Normale Sup\'erieure}, number = {6}, year = {1996}, language = {fr}, url = {www.numdam.org/item/SPHM_1996___6_A1_0/} }
Merker, Joël. L'ontologie explicite des théorèmes d'existence en mathématiques. Séminaire de Philosophie et Mathématiques, no. 6 (1996), pp. 1-67. http://www.numdam.org/item/SPHM_1996___6_A1_0/
[1] L'idéal scientifique des mathématiciens. Alcan, Paris, 1920. | JFM 47.0049.07
[2] Le pays des possibles. Wittgenstein, les mathématiques et le monde réel. Minuit, Paris, 1988.
[3] Les étapes de la Philosophie mathématique. Alcan, Paris, 1912. | JFM 55.0633.03 | Zbl 0236.00017
[4] Méthode axiomatique et formalisme. Actualités Scientifiques et Industrielles, 608, 609 et 610. Hermann, Paris, 1938. | Zbl 0021.28904
Oeuvres complètes de Philosophie des Sciences. Hermann, Paris, 1994.
[5] Les enjeux du mobile. Le Seuil, Paris, 1993.
[6] Les idéalités mathématiques. Le Seuil, Paris, 1968.
[7] Formes, opérations, objets. Vrin, Mathesis, Paris, 1994. | MR 1355545
[8] Phénoménologies et langues formulaires. Presses Universitaires de France, Paris, 1992.
[9] Intuition et intuitionisme. Vrin, Mathesis, Paris, 1993. | MR 1355781 | Zbl 0866.03002
[10] Essai sur les notions de structure et d'existence en mathématiques. Actualités Scientifiques et Industrielles, Hermann, Paris, 1937, 38, 39. | JFM 64.0025.03
[11] Morphogénèse du sens. Presses universitaires de France, Paris, 1985.
[12] L'herméneutique formelle. Éditions du CNRS, Paris, 1991.
[13] Corps et Modèles. Vrin, Mathesis, Paris, 1991.
[14] La philosophie de l'algèbre. Presses Universitaires de France, Paris, 1993. | Zbl 0878.01006
[15] La méthode dans la philosophie des mathématiques. Alcan, Paris, 1911. | JFM 42.0089.10
[1] Différence et répétition. Presses Universitaires de France, Paris, 1972.
[2] L'Être et l'Essence. Vrin, Paris, 1948.
[3] La preuve ontologique cartésienne défendue contre la critique de Leibniz, Revue de Métaphysique et de Morale, 4 (1896), 433-458. | JFM 27.0009.04
[4] La Science de la Logique. Trad. P.J. Labarrière et G. Jarczyk, Aubier Montaigne, Paris, 1972.
[5] La thèse de Kant sur l'être, in Questions II, pp. 375-422. Gallimard, collection «Tel», Paris, 1996.
[6] La doctrine de Platon sur la vérité, in Questions II, pp. 423-468. Gallimard, collection «Tel», Paris, 1996.
[7] Article «Existence» dans l'Encyclopédie Philosophique Universelle, Les Notions Philosophiques. Paris, Presses Universitaires de France, 1990.
[8] Logique et existence. Presses Universitaires de France, Paris, 1991.
[9] Découverte et justification en sciences. Kantisme et néopositivisme. Klincksieck, Paris, 1979.
[10] Pour une critique de l'ontologie. Editions de l'Université de Bruxelles, Bruxelles, 1991.
[11] Les différents modes d'existence. Vrin, Paris, 1943.
[12] L'intuition intellectuelle de Kant à Hegel. Vrin, Paris, 1995.
[13] Traité de Métaphysique. Payot, Paris, 1953.
[14] Vers la fin de l'ontologie. Sedes, Paris, 1956.
[1] Platon et/ou Aristote-Leibniz. Théorie des ensembles et théorie des Topos sous l'oeil du philosophe. in [16] L'objectivité Mathématique, pp. 61-83.
[2] Mathematische Existenz, Unterschungen zur Logik und Ontologie Mathematischen Phänomene, Halle a. S. 1927. Paru aussi dans : Jahrbuch f. Philosophie u. phänomenologische Forschung (1927). | JFM 53.0038.04 | Zbl 0265.00037
[3] La mathématique, Science des problèmes, Rev. génér. des Sc. 53 (1946), 118-124. | MR 18140 | Zbl 0061.00617
[4] Connaissance mathématique, idée de construction et d'existence. Cong. Int. Phil. Math. Paris, Actualités Scientifiques et Industrielles, 1137, Hermann, Paris, 1951. | MR 44476
[5] Aspects courants de la recherche mathématique, indépendants de son objet. C. R. Acad. Sci. Paris, 242 (1956), 2689-2692. | MR 77450 | Zbl 0070.24101
[6] Sur la notion de correspondance, Revue de Métaphysique et de morale, 12 (1904), pp. 909-920. | JFM 35.0082.03
[7] Meaning and existence in Mathematics, Library of exact Philosophy, Vol. 9, Springer Verlag, Berlin, 1924. | MR 414310 | Zbl 0269.02003
,[8] Existence en mathématiques, Collection Philosophie-Mathématiques, Irem Paris Nord, 1986, 24pp.
[9] Constructubility and Mathematical Existence. Clarendon Press, Oxford, 1990. | MR 1066205 | Zbl 1115.03301
[10] Élaboration des notions de courbe et de surface en géométrie différentielle, Congrès International de Philosophie des Sciences, (Paris, 1949), Actualités Scientifiques et Industrielles 1137, Hermann, Paris, 1951, pp. 37-49. | MR 44869
[11] Sur la notion d'existence dans les mathématiques, L'Enseignement Mathématique, 34 (1935), 18-32. | JFM 61.0047.02
[12] Zum Diagonal-verfahren Cantors, Fondamenta Mathematicae, Vol. 25 (1935), 45-50. | JFM 61.0970.03 | Zbl 0011.24101
[13] Essai sur la psychologie de l'invention dans le domaine mathématique, Traduit de l'anglais par Jacqueline Hadamard, 1ere éd. Librairie Scientifique Albert Blanchard, Paris, 1959. | MR 106818 | Zbl 0086.24206
[14] Structure et objet de l'Analyse Mathématique. Gauthier-Villars, Paris, 1958. | MR 103148 | Zbl 0084.24505
[15] Sur l'existence des plans tangents aux surfaces applicables sur le plan, Fund. Math. 25 (1935), 157-162. | JFM 61.1412.07
[16] L'objectivité mathématique. M. Panza et J.-M. Salanskis eds., Masson, Paris, 1995.
[17] Les ensembles analytiques. Gauthier-Villars, Paris, 1930. | JFM 53.0171.05
[18] Analogies entre les ensemble mesurables B et les ensembles analytiques, Fundamenta Math. 16 (1930), pp. 48-76. | JFM 56.0846.02
[19] Sur les ensembles toujours de première catégorie, Fund. Math. 21 (1939), pp. 114-126. | JFM 59.0887.02 | Zbl 0008.24704
[20] Évolution des problèmes d'existence en analyse, Collection Philosophie-Mathématiques, n° 22,Irem Paris Nord, 1983, 10pp. | Zbl 0407.01006
[21] Pour un platonisme transcendantal, in [16] L'objectivité Mathématique, pp. 147-178.
[22] Mathématique et Ontologie, in La scienza tra Filosofia e Storia in Italia nel Novecento, F. Minazzi et L. Zanzi Éd., Rome, Istituto Poligrafico et Zecca dello Stato, 1987, pp. 191-211.
[23] Platonisme et philosophie des mathématiques in [16] L'objectivité mathématique, pp. 179-212.
[24] Y a-t-il une crise des mathématiques ? À propos de la notion d'existence et d'une application suspecte du principe du tiers-exclus. Revue de Métaphysique et de Morale, 31 (1924), 435-470. | JFM 50.0022.03
[25] Note sur l'intuition en mathématiques présentée au Congrès International de Philosophie (Heidelberg 1908), Revue de Métaphysique et de morale, 1908, pp. 921-925. | JFM 39.0083.03
[1] L'existence en mathématiques ; conférences faites à la Sorbonne au titre des échanges franconéerlandais (1954). Collection de Logique Mathématique, Sér. A, 10. Gauthier- Villars, Paris, 1956. | Zbl 0075.23103
[2] Logique et Ontologie, Collection Philosophie-Mathématiques, n° 20, Irem Paris Nord, 1982, 29pp.
[3] Logique et modalité du point de vue organique et physique. Hermann, Actualités Scientifiques et Industrielles, 1163, Paris, 1952. | MR 51799 | Zbl 0049.24301
[4] Les questions et leur logique, Collection Philosophie-Mathématiques, n° 38, Irem Paris Nord, 1985, 71pp.
[5] Existence et non existence en logique mathématique, Collection Philosophie-Mathématiques, n° 65 bis, Irem Paris Nord, 1990, 24pp.
[1] Über das Dirichlet'sche Princip, Jahresbeicht der Deutschen Mathematik Vereinigung, t. VIII (1900), pp. 184-188. Trad. M. I. Laugel, Nouvelles Annales de Mathématiques, 3e série, t. XIX (1900), pp. 337-344. | JFM 31.0418.01
[2] On Riemann's theory of algebraic functions and their integrals. A Supplement to the Usual Treatises. Translated by F. Hardcastle. Dover, New York, 1963. | JFM 14.0358.01 | MR 158068
[3] Sur le problème de Dirichlet, Rendiconti del Circolo di Matematico di Palermo, 24 (1907), pp. 371-402. | JFM 38.0392.01
[4] Conditions de régularité, conditions d'irrégularité, conditions d'impossibilité dans le problème de Dirichlet, C. R. Acad. Sci. Paris, 178 (1924), 349-354. | JFM 50.0332.01
[5] Le problème de Dirichlet dans le cas le plus général, L'Enseignement Mathématique, 35, (1936), 88-106. | JFM 62.0551.02
[1] Analytic and Algebraic Geomerty. To appear. | MR 1919457
[2] Complements of subanalytic sets and existential formulas for analytic functions, Invent. Math. 125 (1996), 1-12. | MR 1389958 | Zbl 0851.32009
[3] Poincaré and Algebraic Geometry, Bull. Amer. Math. Soc. 6, 2 (1982), 147-159. | MR 640942 | Zbl 0506.14001
[4] Quelques remarques sur la recherche et la création des objets souples en analyse mathématique, dans: Les grands systèmes des sciences et de la technologie, Paris, Masson, 1994, pp. 461-475. | MR 1282917
[5] Application des techniques à la théorie des idéaux d’une algèbre de fonctions holomorphes avec poids, Annales Scientifiques de l'École Normale Supérieure, 4e série, 5 (1972), 545-579. | Numdam | MR 333246 | Zbl 0254.32017
[1] Autour du théorème de Poincaré-Birkhoff, in Séminaire Sud-Rhodanien de géométrie, Collection «Travaux en cours», VI, Hermann, Paris, 1987, 1-10. | MR 906892 | Zbl 0635.58013
[2] Holomorphic curves in symplectic geometry. M. Audin and J. Lafontaine eds., Progress in Mathematics, 117, Birkhäuser, Berlin, 1994. | MR 1274923 | Zbl 0802.53001
[3] Non existence de sous-variété lagrangienne exacte dans (d’après Gromov), in Séminaire Sud-Rhodanien de géométrie, Collection «Travaux en cours», VI, Hermann, Paris, 1987, 95-110. | MR 906900 | Zbl 0641.53037
[4] An infinite dimensional version of Sard's theorem, Amer. J. Math., 87 (1965), 861-866. | MR 185604 | Zbl 0143.35301
[5] Une introduction à la géométrie symplectique, Gazette des mathématiciens, 54 (1992), 81-96. | MR 1197259 | Zbl 0788.53022
[1] Opérateurs pseudodifférentiels et théorème de Nash-Moser. Collection Savoirs Actuels, InterEditions/Editions du CNRS, Paris, 1991. | Zbl 0791.47044
et[2] Historique sommaire de l'équation de Kortweg et de Vires. Un exemple de l'interaction entre les mathématiques pures et appliquées, Collection Philosophie-Mathématiques, n° 25, 1983, 14pp.
[3] Théorèmes d'existence et d'existence «en général» pour des problèmes de contrôle optimal, Paris, Laboratoire d'Analyse Numérique, Paris 6, 1974, 18pp.
[4] Conférences internationales des Sciences mathématiques, organisées par l'Université de Genève ; série consacrée aux Équations aux dérivées partielles. Conditions propres à déterminer les solutions. L'Enseignement Mathématique, 35 (1936), 5-151.
[5] An Introduction to Complex Analysis in Several Variables, Van Nostrand Company, New York, 1966. | MR 203075 | Zbl 0271.32001
[6] estimates and existence theorems for the operator, Acta Mathematica, 113, (1965), 89-152. | MR 179443 | Zbl 0158.11002
[7] On the existence and the regularity of linear pseudodifferential equations, L'Enseignement Mathématique, 17 (1971), 99-163. | MR 331124 | Zbl 0224.35084
[8] Implicit function theorems. Lecture notes, Stanford Univ., 1977.
[9] Existence families. Lecture Notes in Mathematics 1570, Springer, 1994. | Zbl 0811.47034
[10] Les problèmes non linéaires, L'Enseignement Mathématique, 35 (1936), 139-151. | JFM 62.0456.01 | Zbl 0015.16401
[11] La vie et l'oeuvre de Jacques Hadamard, Monographies de l'Enseignement Mathématique, N° 16, Genève, 1967. | Zbl 0156.24605
, , et[12] Équations aux dérivées partielles, Conférences aux carrés, rédigées par A. Cesero, ENS, 1966. | Zbl 0065.07902
[13] Lectures on linear partial differential equations, Regional Conference Series in Mathematics, 17, AMS, Providence, 1973. | MR 450755 | Zbl 0267.35001
[14] Existence theorems in partial differential equations. Mimeographed Lecture Notes, New York University, 1954.
[15] Interior estimates for elliptic systems of partial differential equations, Comm. in Pure and Applied Math., 8 (1955), 503-538. | MR 75417 | Zbl 0066.08002
and[16] Conditions nécessaires et suffisantes d'existence et de solutions en calcul des variations, Ann. Inst. Henri Poincaré Anal. Non Linéaire, 4 (1987), n°2, 169-202 | Numdam | MR 886931 | Zbl 0641.49012
[17] An Introduction to Partial Differential Equations, Texts in Applied Mathematics 13, Springer, Berlin, 1993. | MR 1211418 | Zbl 0917.35001
and[18] Über linear elliptische Differentialgleichungen Zweiter Ordnung, Math. Zeitschrift, 38 (1933), 257-282. | JFM 60.0422.01 | Zbl 0008.25502
[1] An Inverse Function Theorem in Fréchet Spaces, J. Funct. Analysis, 33 (1979), 165-174. | MR 546504 | Zbl 0431.46032
and[2] A new technique for the construction of solutions of non linear differential equations, Proc Nat. Acad. Sci. U.S.A. 47 (1961), 1824-1831. | MR 132859 | Zbl 0104.30503
[3] A rapidly convergent method and nonlinear partial differential equations, Ann. Scuola Norm. Sup. Pisa, 20 (1966), 265-315 (I) et 499-535 (II). | Zbl 0144.18202
[4] The imbedding problem for Riemannian manifolds, Ann. of Maths. (2) 63 (1956), 20-63. | MR 75639 | Zbl 0070.38603
[5] Un théorème de fonctions implicites sur certains espaces de Fréchet et quelques applications, Annales Scientifiques de l'École Normale Supérieure, 4e série, 5, 1972, 599-660. | Numdam | MR 418140 | Zbl 0246.58006
[1] Les idées mortes. Comély, Paris, 1908.
[2] Les aspects intuitifs des mathématiques. Gallimard, Paris, 1944.
[3] Le déclin des absolus mathématico-logiques. Sedes, Paris, 1950.
[5] Pensée axiomatique, L'Enseignement Mathématique, 20 (1905), pp. 122-136. | JFM 46.0064.02
[6] Informal rigour and completeness proofs, I. Lakatos ed. Problems in the Philosophy of Mathematics. North Holland, 1967, pp. 138-185.
[7] Du rôle de l'intuition et de la logique en mathématiques, Deuxième Congrès International des mathématiciens, (Paris 1900), 1902, p. 122 et : La valeur de la science, p. 22. | JFM 32.0067.04
[8] Mathématiques, la fin de la certitude. Trad. J.-P. Chrétien-Goni et C. Lazzeri. Christian Bourgois, Paris, 1980.
[9] Analysis II. Addison Wesley, 1969. | Zbl 0176.00504
[10] Science et Métaphysique chez Kant. Presses Universitaires de France, Paris, 1988.
[11] La philosophie géométrique de Henri Poincaré. Alcan, Paris, 1908. | JFM 47.0049.04