@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/
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
1941Ré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
1937La pensée mathématique. Bulletin de la Société Française de Philosophie 40 (1946), pp. 4-13.
1939Philosophie mathématique, Paris, Hermann. | Zbl 0105.24408
1962Sur la logique et la théorie de la science (1 1947), Paris, Vrin. | Zbl 0029.09704
1976Méthode axiomatique et formalisme, Paris, Hermann.
1981De 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.
1994Constructive Order Types, Amsterdam, North-Holland. | MR 260590 | Zbl 0184.02201
1969Le 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.
1983Validité 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).
1939Cantorian Set Theory and Limitation of Size, Oxford, Clarendon Press. | MR 765076 | Zbl 0656.03030
1984Diplomarbeit: Eine Charakterisierung der Ordinalzahl Γo' Heidelberg, Mathematisches Institut.
1977La 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
1987L'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.
1992Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Henri Poincaré, Göttingen. | MR 1387593 | Zbl 0846.00002
1995Grundlagen der Mathematik I, II (Berlin/Heidelberg 1 1934/1939), Berlin, Heidelberg, New York, Springer. | MR 272596 | Zbl 0191.28402
/ 1968/ 1970Logique contemporaine et formalisation, Paris, PUF.
1964L'épistémologie de Jean Cavaillès. Critique 461 (1985), pp. 974-988.
1981Jean Cavaillès. Philosophie mathématique. Paris, PUF. | Zbl 0876.01038
1994Axiomatic Set Theory. Princeton/New Jersey, Van Nostrand. | MR 114757 | Zbl 0091.05102
1960Philosophische Grammatik (ed. R. Rhees), Frankfurt, Suhrkamp.
1987