La pensée mathématique en tant que constructrice de réalités nouvelles
Philosophia Scientiae, Tome 3 (1998) no. 1, pp. 99-111.
@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/}
}
TY  - JOUR
AU  - Heinzmann, Gerhard
TI  - La pensée mathématique en tant que constructrice de réalités nouvelles
JO  - Philosophia Scientiae
PY  - 1998
DA  - 1998///
SP  - 99
EP  - 111
VL  - 3
IS  - 1
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_1998__3_1_99_0/
LA  - fr
ID  - PHSC_1998__3_1_99_0
ER  - 
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/

Bernays, Paul 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

Cavaillès, Jean 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

Cavaillès, Jean 1939 La pensée mathématique. Bulletin de la Société Française de Philosophie 40 (1946), pp. 4-13.

Cavaillès, Jean 1962 Philosophie mathématique, Paris, Hermann. | Zbl 0105.24408

Cavaillès, Jean 1976 Sur la logique et la théorie de la science (1 1947), Paris, Vrin. | Zbl 0029.09704

Cavaillès, Jean 1981 Méthode axiomatique et formalisme, Paris, Hermann.

Cortois, Paul 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.

Crossley, John 1969 Constructive Order Types, Amsterdam, North-Holland. | MR 260590 | Zbl 0184.02201

Girard, Jean-Yves 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.

Gonseth, Ferdinand 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).

Hallet, Michael 1984 Cantorian Set Theory and Limitation of Size, Oxford, Clarendon Press. | MR 765076 | Zbl 0656.03030

Heinzmann, Gerhard 1977 Diplomarbeit: Eine Charakterisierung der Ordinalzahl Γo' Heidelberg, Mathematisches Institut.

Heinzmann, Gerhard 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

Heinzmann, Gerhard 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.

Heinzmann, Gerhard 1995 Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Henri Poincaré, Göttingen. | MR 1387593 | Zbl 0846.00002

Hilbert, David/Bernays, Paul 1968/ 1970 Grundlagen der Mathematik I, II (Berlin/Heidelberg 1 1934/1939), Berlin, Heidelberg, New York, Springer. | MR 272596 | Zbl 0191.28402

Martin, Roger 1964 Logique contemporaine et formalisation, Paris, PUF.

Sinaceur, Hourya 1981 L'épistémologie de Jean Cavaillès. Critique 461 (1985), pp. 974-988.

Sinaceur, Hourya 1994 Jean Cavaillès. Philosophie mathématique. Paris, PUF. | Zbl 0876.01038

Suppes, Patrick 1960 Axiomatic Set Theory. Princeton/New Jersey, Van Nostrand. | MR 114757 | Zbl 0091.05102

Wittgenstein, Ludwig 1987 Philosophische Grammatik (ed. R. Rhees), Frankfurt, Suhrkamp.