Poincaré et la philosophie des mathématiques

 Access to full text

 Full (PDF)

1. Borel, Émile1908Les Paradoxes de la théorie des ensembles. Annales scientifiques de l'Ecole Normale Supérieure44 (3. série 25), pp. 443-448. Reimprimé dans Borel, Leçons sur la théorie des fonctions, Paris1928, pp. 162-166. MR1509098
2. Bourbaki, Nicolas1960Éléments d'histoire des mathématiques, Paris. Zbl0129.24508
3. Carnap, Rudolf1931Die logistische Grundlegung der Mathematik. Erkenntnis2, pp. 91-105. Zbl0002.32101
4. Carnap, Rudolf 21968Logische Syntaxe der Sprache, Wien (11934)/New York JFM60.0019.02
5. Cavaillès, Jean1981Méthode axiomatique et formalisme. Essai sur le problème du fondement des mathématiques, Paris (1937) Zbl0549.03001
6. Feferman, Solomen1964Systems of predicative Analysis. The Journal of Symbolic Logic29, pp. 1-30. Zbl0134.01101MR193006
7. Fraenkel, Adolf Abraham/ Bar-Hillel, Yehosua/ Levy, A.1973Foundations of Set Theory, Amsterdam/London, (11958). 
8. Heinzmann, Gerhard1986Poincaré, Russell, Zermelo et Peano. Textes de la discussion (1906-1912) sur les fondements des mathématiques: des antinomies à la prédicativité, Paris Zbl0669.01027MR851384
9. Heinzmann, Gerhard1985Entre intuition et analyse. Poincaré et le concept de prédicativité, Paris MR791403
10. Heyting, Arend1934Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Berlin. Zbl0009.38501
11. Hilbert, David1905Ü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. JFM36.0084.03
12. Hilbert, David1922Neubegründung der Mathematik, in: Hilbertiana, Darmstadt1964, pp. 12-32. Zbl48.1188.01JFM48.1188.01
13. Kreisel, Georg1960 La prédicativité. Bull. Soc. math. France, 88, pp. 371-391. Zbl0131.00604MR123475
14. Levy, A.1958The independence of various definitions of finiteness. Fund. math.46, 1-13. Zbl0089.00702MR98671
15. Lorenz, Kuno1986Dialogischer Konstruktivismus. In: K. Salamun (Hrsg.), Was ist Philosophie?Tübingen, pp. 335-352. 
16. Neumann, John von1927Zur Hilbertschen Beweistheorie, Math. Zeitschr.26, 1-46 (eingegangen 1925). MR1544840JFM53.0041.02
17. Poincaré, Henri 
18. 1902La Science et l'hypothèse. Paris, cité d'après la pagination de l'édition de 1968 contenant un Préface de Jules Vuillemin. 
19. 1905/06 Les mathématiques et la logique. Revue de Métaphysique et de Morale13, pp. 815-835; 14 (1906) pp. 17-34; réimprimé dans Heinzmann 1986, pp. 11- 53. JFM36.0081.05
20. 1906a Les mathématiques et la logique. RMMXIY, pp. 294- 317; réimprimé dans Heinzmann 1985, pp. 79-104. 
21. 1906b A propos de la logistique. RMM14, pp. 866-868; réimprimé dans Heinzmann 1986, pp. 145-147. 
22. 1908Science et Methode, Paris. Zbl39.0095.03
23. 1909a Réflexions sur les deux notes précédentes. Acta mathématica32, pp. 195-200, cité d'après la réimpression dans Heinzmann 1988, pp. 224-229. 
24. 1909b Über transfinite Zahlen. In: H. Poincaré, Sechs Vorträge über ausgewählte Gegenstände aus der neuen Mathematik und mathematischen Physik, Leipzig/Berlin1910, S. Vortrag, pp. 43-48. Cité d'après la réimpression dans Heinzmann 1986, pp. 231-234. 
25. 1912La logique de l'infini. Scientia12, pp. 1-11; cité d'après la réimpression dans Heinzmann 1986, pp. 305- 315. 
26. Russell, Bertrand1906b Les paradoxes de la logique. RMM14, pp. 627-650; cité d'après la réimpression dans Heinzmann 1986, pp. 121-144. JFM37.0060.03
27. Thiel, Christian1979Zur Bestimmung der Arithmetik, in: K. Lorenz, Konstruktionen vs Positionen, Berlin/New York, 29-34. 
28. 1973Das Begründungsproblem der Mathematik und die Philosophie, in: P. Kambartel/ J. Mittelstraß (Hrsg.), Zum normativen Fundament der Wissenschaft, Ffm, 91-114.