Poincaré et la philosophie des mathématiques
Cahiers du séminaire d'histoire des mathématiques, Série 1, Tome 9 (1988), pp. 99-121. 
@article{CSHM_1988__9__99_0,
     author = {Heinzmann, Gerhard},
     title = {Poincar\'e et la philosophie des math\'ematiques},
     journal = {Cahiers du s\'eminaire d'histoire des math\'ematiques},
     pages = {99--121},
     publisher = {Universit\'e Pierre et Marie Curie, Laboratoire de Math\'ematiques Fondamentales, Ecole Pratique Des Hautes Etudes, 1\`ere Section Sciences Math\'ematiques},
     volume = {1e s{\'e}rie, 9},
     year = {1988},
     mrnumber = {924848},
     zbl = {0652.01017},
     language = {fr},
     url = {http://archive.numdam.org/item/CSHM_1988__9__99_0/}
}
TY  - JOUR
AU  - Heinzmann, Gerhard
TI  - Poincaré et la philosophie des mathématiques
JO  - Cahiers du séminaire d'histoire des mathématiques
PY  - 1988
SP  - 99
EP  - 121
VL  - 9
PB  - Université Pierre et Marie Curie, Laboratoire de Mathématiques Fondamentales, Ecole Pratique Des Hautes Etudes, 1ère Section Sciences Mathématiques
UR  - http://archive.numdam.org/item/CSHM_1988__9__99_0/
LA  - fr
ID  - CSHM_1988__9__99_0
ER  - 
%0 Journal Article
%A Heinzmann, Gerhard
%T Poincaré et la philosophie des mathématiques
%J Cahiers du séminaire d'histoire des mathématiques
%D 1988
%P 99-121
%V 9
%I Université Pierre et Marie Curie, Laboratoire de Mathématiques Fondamentales, Ecole Pratique Des Hautes Etudes, 1ère Section Sciences Mathématiques
%U http://archive.numdam.org/item/CSHM_1988__9__99_0/
%G fr
%F CSHM_1988__9__99_0
Heinzmann, Gerhard. Poincaré et la philosophie des mathématiques. Cahiers du séminaire d'histoire des mathématiques, Série 1, Tome 9 (1988), pp. 99-121. http://archive.numdam.org/item/CSHM_1988__9__99_0/

Borel, Émile 1908 Les Paradoxes de la théorie des ensembles. Annales scientifiques de l'Ecole Normale Supérieure 44 (3. série 25), pp. 443-448. Reimprimé dans Borel, Leçons sur la théorie des fonctions, Paris 1928, pp. 162-166. | Numdam | MR

Bourbaki, Nicolas 1960 Éléments d'histoire des mathématiques, Paris. | Zbl

Carnap, Rudolf 1931 Die logistische Grundlegung der Mathematik. Erkenntnis 2, pp. 91-105. | Zbl

Carnap, Rudolf 21968 Logische Syntaxe der Sprache, Wien (11934)/New York | JFM

Cavaillès, Jean 1981 Méthode axiomatique et formalisme. Essai sur le problème du fondement des mathématiques, Paris (1937)

Feferman, Solomen 1964 Systems of predicative Analysis. The Journal of Symbolic Logic 29, pp. 1-30. | MR | Zbl

Fraenkel, Adolf Abraham/ Bar-Hillel, Yehosua/ Levy, A. 1973 Foundations of Set Theory, Amsterdam/London, (11958).

Heinzmann, Gerhard 1986 Poincaré, Russell, Zermelo et Peano. Textes de la discussion (1906-1912) sur les fondements des mathématiques: des antinomies à la prédicativité, Paris | MR | Zbl

Heinzmann, Gerhard 1985 Entre intuition et analyse. Poincaré et le concept de prédicativité, Paris | MR

Heyting, Arend 1934 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Berlin. | Zbl

Hilbert, David 1905 Über die Grundlagen der Logik und Arithmetik, 3eCIM Heidelberg 1904. Leipzig, p. 174-185; réimprimé dans les éditions de Hilbert 1899 a partir de 1909; cité d'après l'édition de 1923. | JFM

Hilbert, David 1922 Neubegründung der Mathematik, in: Hilbertiana, Darmstadt 1964, pp. 12-32. | JFM

Kreisel, Georg 1960 La prédicativité. Bull. Soc. math. France, 88, pp. 371-391. | Numdam | MR | Zbl

Levy, A. 1958 The independence of various definitions of finiteness. Fund. math. 46, 1-13. | MR | Zbl

Lorenz, Kuno 1986 Dialogischer Konstruktivismus. In: K. Salamun (Hrsg.), Was ist Philosophie? Tübingen, pp. 335-352.

Neumann, John Von 1927 Zur Hilbertschen Beweistheorie, Math. Zeitschr. 26, 1-46 (eingegangen 1925). | JFM | MR

Poincaré, Henri

1902 La Science et l'hypothèse. Paris, cité d'après la pagination de l'édition de 1968 contenant un Préface de Jules Vuillemin.

1905/06 Les mathématiques et la logique. Revue de Métaphysique et de Morale 13, pp. 815-835; 14 (1906) pp. 17-34; réimprimé dans Heinzmann 1986, pp. 11- 53. | JFM

1906a Les mathématiques et la logique. RMM XIY, pp. 294- 317; réimprimé dans Heinzmann 1985, pp. 79-104.

1906b A propos de la logistique. RMM 14, pp. 866-868; réimprimé dans Heinzmann 1986, pp. 145-147.

1908 Science et Methode, Paris.

1909a Réflexions sur les deux notes précédentes. Acta mathématica 32, pp. 195-200, cité d'après la réimpression dans Heinzmann 1988, pp. 224-229.

1909b Über transfinite Zahlen. In: H. Poincaré, Sechs Vorträge über ausgewählte Gegenstände aus der neuen Mathematik und mathematischen Physik, Leipzig/Berlin 1910, S. Vortrag, pp. 43-48. Cité d'après la réimpression dans Heinzmann 1986, pp. 231-234.

1912 La logique de l'infini. Scientia 12, pp. 1-11; cité d'après la réimpression dans Heinzmann 1986, pp. 305- 315.

Russell, Bertrand 1906b Les paradoxes de la logique. RMM 14, pp. 627-650; cité d'après la réimpression dans Heinzmann 1986, pp. 121-144. | JFM

Thiel, Christian 1979 Zur Bestimmung der Arithmetik, in: K. Lorenz, Konstruktionen vs Positionen, Berlin/New York, 29-34.

1973 Das Begründungsproblem der Mathematik und die Philosophie, in: P. Kambartel/J. Mittelstraß (Hrsg.), Zum normativen Fundament der Wissenschaft, Ffm, 91-114.