Kurt Gödel

Wikipediya, ensiklopediya xosere ra
Xıl de be pusula Xıl de cıgeyrayışi
Kurt Gödel
1925 kurt gödel.png
Melumato şexsi
Dewlete Dewletê Yewbiyaeyê Amerika
Cınsiyet Bêcıns
Cay biyayışi Brno
Biyayış
Merdış (Princeton Cemetery de merdo)
Cay merdışi Princeton(Undernutrition ra merd)
Wendış University of Vienna
Gırwe Matematikwan, Filozof, akademisyen u Zanayoğê komputeri
Zıwani Almanki u İngılızki
Partner Adele Gödel
İtıqad Xıristiyaniye
İmza İmzay cı


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

Eseri[bıvurne | çımeyi bıvurne]

  • 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

Çımey[bıvurne | çımeyi bıvurne]