@article{PHSC_1998__3_1_99_0,
author = {Heinzmann, Gerhard},
title = {La pens\'ee math\'ematique en tant que constructrice de r\'ealit\'es nouvelles},
journal = {Philosophia Scientiae},
volume = {3},
year = {1998},
pages = {99-111},
language = {fr},
url = {http://dml.mathdoc.fr/item/PHSC_1998__3_1_99_0}
}
Heinzmann, Gerhard. La pensée mathématique en tant que constructrice de réalités nouvelles. Philosophia Scientiae, Tome 3 (1998) pp. 99-111. http://gdmltest.u-ga.fr/item/PHSC_1998__3_1_99_0/
1941 Sur les questions méthodologiques actuelles de la théorie Hilbertienne de la démonstration, in: Entretiens de Zürich 1938, Zürich, Leemann & Co, pp. 144-152. | JFM 67.0037.02 | MR 4202 | Zbl 0061.00901
1937 Réflexions sur le fondement des mathématiques (Congrès Descartes, t. VI), Actualités Scientifiques et Industrielles 535, Paris, Hermann, pp. 136-139. | JFM 63.0837.04
1939 La pensée mathématique. Bulletin de la Société Française de Philosophie 40 (1946), pp. 4-13.
1962 Philosophie mathématique, Paris, Hermann. | Zbl 0105.24408
1976 Sur la logique et la théorie de la science (1 1947), Paris, Vrin. | Zbl 0029.09704
1981 Méthode axiomatique et formalisme, Paris, Hermann.
1994 De wetenschapstheorie volgens Jean Cavaillès. Sur la logique et la théorie de la science: incleiding en kommentaar. Brussel, Koninklijke Academie voor Wetenschappen en Schone Kunsten.
1969 Constructive Order Types, Amsterdam, North-Holland. | MR 260590 | Zbl 0184.02201
1983 Le théorème d'incomplétude de Gödel. In: Cinq conférences sur l'indécidabilité, organisées en 1982 à l'Ecole Nationale des Ponts et Chaussées (Hrsg. N. Bouleau/J.V. Girard/ A. Louveau), Paris.
1939 Validité universelle dans notre connaissance du monde extérieur; Communication faite aux Entretiens d'Amersfoort 1939, in: Actualités Scientifiques et Industrielles 849, Paris, Hermann, pp. 1-19 & pp. 35-65 (Discussion).
1984 Cantorian Set Theory and Limitation of Size, Oxford, Clarendon Press. | MR 765076 | Zbl 0656.03030
1977 Diplomarbeit: Eine Charakterisierung der Ordinalzahl Γo' Heidelberg, Mathematisches Institut.
1987 La position de Cavaillès dans le problème des fondements en mathématiques et sa différence avec celle de Lautman, Revue d'histoire des sciences 40, 1987, pp. 31-47. | MR 981809 | Zbl 0628.01025
1992 L'engangement de Jean Cavaillès: philosophie et résistance. In: Ph. Soulez (éd.), La guerre et les philosophes. De la fin des années 20 aux années 50., Paris, PUF, pp. 145-154.
1995 Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Henri Poincaré, Göttingen. | MR 1387593 | Zbl 0846.00002
/ 1968/ 1970 Grundlagen der Mathematik I, II (Berlin/Heidelberg 1 1934/1939), Berlin, Heidelberg, New York, Springer. | MR 272596 | Zbl 0191.28402
1964 Logique contemporaine et formalisation, Paris, PUF.
1981 L'épistémologie de Jean Cavaillès. Critique 461 (1985), pp. 974-988.
1994 Jean Cavaillès. Philosophie mathématique. Paris, PUF. | Zbl 0876.01038
1960 Axiomatic Set Theory. Princeton/New Jersey, Van Nostrand. | MR 114757 | Zbl 0091.05102
1987 Philosophische Grammatik (ed. R. Rhees), Frankfurt, Suhrkamp.