Poincaré et la philosophie des mathématiques
Cahiers du séminaire d'histoire des mathématiques, Tome 9 (1988), p. 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},
     publisher = {Universit\'e Pierre et Marie Curie, Laboratoire de Math\'ematiques Fondamentales, Ecole Pratique Des Hautes Etudes, 1\`ere Section Sciences Math\'ematiques},
     volume = {9},
     year = {1988},
     pages = {99-121},
     zbl = {0652.01017},
     mrnumber = {924848},
     language = {fr},
     url = {http://www.numdam.org/item/CSHM_1988__9__99_0}
}
Heinzmann, Gerhard. Poincaré et la philosophie des mathématiques. Cahiers du séminaire d'histoire des mathématiques, Tome 9 (1988) pp. 99-121. http://www.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 1509098

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

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

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

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 193006 | Zbl 0134.01101

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 851384 | Zbl 0669.01027

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

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

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 36.0084.03

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

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

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

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 53.0041.02 | MR 1544840

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 36.0081.05

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 37.0060.03

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.