Kurt Gödel Önemli Yayınları

Önemli yayınları
Türkçe çeviri:

Gödel, K (2004) Cantor'un süreklilik problemi nedir? [1964] Bekir S Gür (Ed), Matematik felsefesi içinde (s 217-238), Kadim yayınları, 2 baskı

Almanca:

1931, "Über formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme," Monatshefte für Mathematik und Physik 38: 173-98

İngilizce:

1940 The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory Princeton University Press
1947 "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515-25 Revised version in Paul Benacerraf and Hilary Putnam, eds, 1984 (1964) Philosophy of Mathematics: Selected Readings Cambridge Univ Press: 470-85

İngilizce çeviri:

Kurt Godel, 1992 On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr B Meltzer, with a comprehensive introduction by Richard Braithwaite Dover reprint of the 1962 Basic Books edition
Jean van Heijenoort, 1967 A Source Book in Mathematical Logic, 1879-1931 Harvard Univ Press

1930 "The completeness of the axioms of the functional calculus of logic," 582-91
1930 "Some metamathematical results on completeness and consistency," 595-96 Abstract to (1931)
1931 "On formally undecidable propositions of Principia Mathematica and related systems," 596-616
1931a "On completeness and consistency," 616-17




Collected Works : Volume I: Publications 1929-1936 ISBN 0-19-503964-5, Volume II: Publications 1938-1974 ISBN 0-19-503972-6, Volume III: Unpublished Essays and Lectures ISBN 0-19-507255-3, Volume IV: Correspondence, A-G ISBN 0-19-850073-4 Publisher: Oxford University Press, USA

Kaynak : Wikipedia