Ravêr zerreki

Kurt Gödel

Wikipediya, ensiklopediya xosere ra
Kurt Gödel
Melumato şexsi
Dewlete Dewletê Yewbiyaeyê Amerika
Cınsiyet Camêrd
Caê biyayışi Brno
Biyayış
Merdış (Princeton Cemetery de merdo)
Caê merdene Princeton(Starvation ra merd)
Wendış University of Vienna
Gırwe Matematikwan, Filozof, akademisyen, Zanayoğê komputeri û fiziker
Zıwani Almanki û İngılızki
Hempar Adele Gödel
İtıqad Xıristiyaniye
İmza İmzaya cı

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

  • 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