@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}, pages = {99--111}, publisher = {\'Editions Kim\'e}, volume = {3}, number = {1}, year = {1998}, language = {fr}, url = {http://www.numdam.org/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) no. 1, pp. 99-111. http://www.numdam.org/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 | MR | Zbl
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
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
1962Sur la logique et la théorie de la science (1 1947), Paris, Vrin. | Zbl
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 | Zbl
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 | Zbl
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 | Zbl
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 | Zbl
1995Grundlagen der Mathematik I, II (Berlin/Heidelberg 1 1934/1939), Berlin, Heidelberg, New York, Springer. | MR | Zbl
/ 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
1994Axiomatic Set Theory. Princeton/New Jersey, Van Nostrand. | MR | Zbl
1960Philosophische Grammatik (ed. R. Rhees), Frankfurt, Suhrkamp.
1987