Bibliographie
Œuvres de Kurt Gödel
Les principaux articles mathématiques des années 1930 sont repris en traduction anglaise révisée par l'auteur lui-même dans les anthologies de Davis et de Van Heijenoort (cf. infra), les deux grands articles philosophiques dans celle de Benacerraf et Putnam (id.). Collected Works, éd. S. Feferman, vol. I : Publications, 1929-1936, vol. II : Publications, 1938-1974, Oxford Univ. Press, New York, 1986-1989
On Formally Undecidable Propositions of Principia Mathematica and Related Systems, repr., Dover, New York, 1992.
Études
A. J. Ayer, Bertrand Russell, univ. of Chicago Press, Chicago (Ill.), 3e éd. 1988
P. Benacerraf & H. Putnam dir., Philosophy of Mathematics, Englewood Cliffs (N.J.), 1964
P. J. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York, 1966
M. Davis dir., The Undecidable, Raven Press, New York, 1965
J. W. Dawson, « The Reception of Gödel's incompleteness theorems », in Asquith and Kitcher, pp. 253-271, 1985
Hao Wang, Reflections on Kurt Godel, M.I.T. Press, Cambridge (Mass.), rééd. 1990
Kurt Gödel, Armand Colin, Paris, 1990
S. C. Kleene, « Kurt Gödel, 1906-1978 », in Biographical Memoirs, National Academy of Sciences, no 56, 1987
G. Kreisel, « Finitness theorems in arithmetics : an application of Herbrand's theorem for Σ2 formulas », in Stern, 1982
« What Have We Learnt from Hilbert's Second Problem ? », in F. Browder dir., Mathematical Developments Arising from Hilbert's Problems, A.M.S., Providence (R.I.), rééd. 1979
J. Ladrière, « Les Limites de la formalisation », in Logique et connaissance scientifique. Encyclopédie de la Pléiade, Paris, 1967
D. Martin, « Hilbert's First Problem : the Continuum Hypothesis », in F. Browder, op. cit.
E. Nagel & J. R. Newman, Le Théorème de Gödel, Seuil, 1989
R. M. Smullyan, Gödel's Incompleteness Theorems, Oxford Univ. Press, New York, 1992
J. Van Heijenoort dir., From Frege to Gödel, a Source Book in Mathematical Logic, Harvard Univ. Press, Cambridge (Mass.), 1967
A. N. Whitehead & B. Russell, Principia Mathematica, 3 vol., Cambridge Univ. Press, New York, 2e éd. 1925-1927.
Retour en haut
… pour nos abonnés, l'article se prolonge sur 3 pages…
