Kurt Gödel

Kurt Gödel
Kurt Gödel
Melumato şexsi
Dewlete	Dewletê Yewbiyaeyê Amerika
Cınsiyet	Camêrd
Cayê biyayışi	Brno
Biyayış	28 Nisane 1906
Merdış	14 Çele 1978 (Princeton Cemetery de merdo)
Cayê merdışi	Princeton(Starvation ra merd)
Wendış	University of Vienna
Gure	Matematikwan, Filozof, akademisyen, Zanayoğê komputeri, fiziker û merdumê İlmi
Zıwani	Almanki û İngılızki
Hempar	Adele Gödel
İtıqad	Xıristiyaniye
İmza

Kurt Gödel (b. 28 Nisane 1906 - m. 14 Çele 1978), yew matematikwan u filozofo Awıstırya u Amerika biyo.

Eseri

1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme," Monatshefte für Mathematik und Physik 38: 173-98.
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.
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