La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?

 Access to full text

 Full (PDF)

1. Bernays, P.1934 Cf. [Hilbert 1934] 
2. Bernays, P.1935Sur le Platonisme dans les mathématiques, L'enseignement mathématique, n° 34, 52-69. Zbl0014.00101JFM61.0047.03
3. Bernays, P.1960 Cf. [Ladrière l960]. 
4. Beth, E. W.1959The Foundations of Mathematics, Amsterdam : North-Holland Cy. Zbl0085.24104
5. Borel, E.1950Leçons sur la théorie des fonctions4, Paris : Gauthier-Villars. JFM53.0277.09
6. Bourbaki, N.1984Éléments d'histoire des mathématiques, Paris : Masson. Zbl0129.24508
7. Carnap, R.1930-31Die Mathematik als Zweig der Logik, Blätter für deutsche Philosophie, 4, Berlin, 298-310. JFM56.0043.08
8. Carnap, R. (LSL) 1937The Logical Syntax of Language, London : Routledge and Kegan, désormais cité : LSL. Zbl63.0820.05
9. Carnap, R.1960Symbolische Logik2, Wien : Springer. 
10. Church, A.1956Introduction to Mathematical Logic, Princeton : Princeton Un. Press. Zbl0060.02007JFM62.1048.04
11. Fraenkel, A.1928Einleitung in die Mengenlehre3, Berlin : Springer. Zbl0060.12315JFM54.0086.01
12. Fraenkel, A & Bar-Hillel, Y.1958Foundations of Set Theory, Amsterdam : North Holland Cy. Zbl0082.26203
13. Gödel, K.1930Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37, 349-360. Zbl56.0046.04JFM56.0046.04
14. Gödel, K.1931Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Mh. Math. Physik, vol. 38, 173-198. Zbl0002.00101JFM57.0054.02
15. Gödel, K.1931-32Zum intuitionistischen Aussagenkalkül, Ergebnisse eines mathematischen Kolloquiums, Heft 1-5, Leipzig Deutsche. Zbl59.0866.02JFM59.0866.02
16. Gödel, K.1938The consistency of the axiom of choice and of the generalized continuum-hypothesis, Proc. Nat. Acad. of Sc., vol. 24. Zbl0020.29701JFM64.0035.01
17. Gödel, K.1944Russell's Mathematical Logic, in : The Philosophy of Bertrand Russell, ed. by P. A. Schilpp, V, Evanston - Chicago, 123-153. 
18. Gödel, K.1947What is Cantor's Continuum Problem ?, Amer. Math. Monthly, vol. 54. Zbl0038.03003
19. Gödel, K. (M) 1995Les mathématiques sont-elles une syntaxe du langage ?, Dialogue XXXIV (1995), 3-34, trad. D. Fagnot - G. Heinzmann, cité : M. Zbl0927.03007
20. Grzegorczyk, A.1961Fonctions Récursives, Paris/Louvain : Gauthier-Villars/Nauwelaerts. Zbl0101.25003
21. Hadamard, Jacques1945Essai sur la psychologie de l'invention dans le domaine mathématique, Trad. fr. Jacqueline Hadamard, Paris : Gauthier-Villars, 1975. Zbl0304.00012
22. Heinzmann, G. & Proust, J.1988Carnap et Gödel. Échange de lettres autour de la définition de l'analyticité, Intr., trad. et notes par Gerhard Heinzmann & Joëlle Proust, Logique et Analyse, vol. 31 pp. 257-291. Zbl0738.03001
23. Heyting, A.1930Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preußischen Akademie der Wissenschaften, II, Phys. math. Klasse, 42-56. Zbl56.0823.01JFM56.0823.01
24. Hilbert, D. & Ackermann, W.1950Principles of Mathematical Logic, ed. R. E. Luce, New-York : Chelsea Cy. Zbl0040.00402
25. Hilbert, D. & Bernays, P.1934Grundlagen der Mathematik I, 2. Aufl., Berlin - Heildeberg -New York : Springer, 1968. Zbl0191.28402
26. Kleene, S. C.1967Mathematical Logic, New York : John Wiley and Sons. Zbl0149.24309
27. Kleene, S. C.1971Logique mathématique, trad. J. Largeault, Paris : Armand Colin. Zbl0209.00801
28. Ladrière, J.1957Les limitations internes des formalismes, Louvain/Paris : Nauwelaerts/Gauthier-Villars. Zbl0078.24209
29. Ladrière, J.1960Les limitations des formalismes et leur signification philosophique, Dialectica, 14, 4, 279-328. 
30. Quine, W. v. O.1961From a Logical Point of View2, Cambridge : Harward Un. Press. 
31. Quine, W. v. O.1966On Frege's Way Out, Selected Logic Papers, New York : Random House. Zbl0064.00502
32. Quine, W. v. O.1986Reply to Hao Wang, The Philosophy of W. V. Quine, The Library of Living Philosophers, Vol. XVIII, ed. Hahn and Schilpp, La Salle : Open Court. 
33. Ramsay, F. P.1926Mathematical Logic, The Foundations of Mathematics, Paterson : Littlefield - Adams, 1960. 
34. Russell1903The Principles of Mathematics, London : Allen & Unwin. Zbl34.0062.14JFM63.0819.01
35. Russell1940Inquiry into Meaning and Truth ; trad. Ph. Devaux, Signification et Vérité, Flammarion, Paris, 1959. 
36. Vidal-Rosset, J. A paraître Philosophie des mathématiques et systèmes philosophiques. Essai sur les classifications de W. v. O. Quine et de J. Vuillemin (à paraître dans Philosophia Scientiæ). 
37. Vuillemin, Jules1964L'origine et le mécanisme des antinomies dans la première philosophie de Russell (1903), Logique et Analyse, 7e année, n° 25-26, 59-95. Zbl0128.01101
38. Vuillemin, Jules1967Sur les conditions qui permettent d'utiliser les matrices russelliennes des antinomies (1905) pour exprimer les Théorèmes de limitations internes des formalismes, Notre-Dame Journal of Symbolic Logic, vol. VII, n. 1, janv. 1967, 1-19. Zbl0166.24801
39. Vuillemin, Jules1972Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung, Kant-Studien, 63, n°3. 
40. Weyl, H.1921Über die neue Grundlagenkrise der Mathematik, Mathematische Zeitschrift, vol. 10, 39-79. JFM48.0220.01
41. Weyl, H.1925Die heutige Erkenntnislage in der Mathematik, Symposion, Bd. 1, 1-32. Zbl51.0043.05JFM51.0043.05
42. Wittgenstein, L.1921Tractatus logico-philosophicus.