ആസ്ട്രിയയിൽ ജനിച്ച,പിന്നേട് അമേരിക്കൻ പൗരത്വം നേടിയ യുക്തിചിന്തകനും ഗണിതശാസ്ത്രജ്ഞനും തത്ത്വശാസ്ത്രജ്ഞനുമായിരുന്നു കുർട്ട് ഗോഡൽ[3] German: [ˈkʊʁt ˈɡøːdəl](listen)(April 28, 1906- January 14, 1978).അദേഹം.അരിസ്റ്റോട്ടിലിനെ പോലെ ഇരുപതാം നൂറ്റാണ്ടിൽ ബർണാഡ് റസൽ[4],ഡേവിഡ് ഹില്ബർട്ട് എന്നിവരെ പോലെ തത്ത്വചിന്തക്കും ശാസ്ത്രമേഖലക്കും മികച്ച സംഭാവനകൾസെ നൽകി.ലോജിക്,സെറ്റ് തിയറി എന്നി എന്നിവ ഗണിതശാസ്ത്രത്തിൽ അടിസ്ഥാനമിട്ടു[5].
രചനകൾ
പ്രധാന പ്രസിദ്ധീകരണങ്ങൾ
ജർമ്മൻ ഭാഷയിൽ
1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik37: 349–60.
1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik38: 173–98.
1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien69: 65–66.
ഇംഗ്ലീഷ് ഭാഷയിൽ
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.
1950, "Rotating Universes in General Relativity Theory." Proceedings of the international Congress of Mathematicians in Cambridge,1: 175–81
ഇംഗ്ലീഷ് പരിഭാഷകൾ
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.
Kurt Godel, 2000.[6]On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. Martin Hirzel
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.
↑Tucker McElroy (2005). A to Z of Mathematicians. Infobase Publishing. p. 118. ISBN9780816053384. Gödel had a happy childhood, and was called "Mr. Why" by his family, due to his numerous questions. He was baptized as a Lutheran, and re- mained a theist (a believer in a personal God) throughout his life.
J.R. Lucas, 1970. The Freedom of the Will. Clarendon Press, Oxford.
Ernest Nagel and Newman, James R., 1958. Gödel's Proof. New York Univ. Press.
Procházka, Jiří, 2006, 2006, 2008, 2008, 2010. Kurt Gödel: 1906–1978: Genealogie. ITEM, Brno. Volume I. Brno 2006, ISBN 80-902297-9-4. In Ger., Engl. Volume II. Brno 2006, ISBN 80-903476-0-6. In Germ., Engl. Volume III. Brno 2008, ISBN 80-903476-4-9. In Germ., Engl. Volume IV. Brno, Princeton 2008, ISBN 978-80-903476-5-6. In Germ., Engl. Volume V,Brno,Princeton 2010, ISBN 80-903476-9-X. In Germ., Engl.
Procházka, Jiří, 2012. "Kurt Gödel: 1906–1978: Historie". ITEM,Brno, Wien, Princeton. Volume I. ISBN 978-80-903476-2-5. In Ger., Engl.
Ed Regis, 1987. Who Got Einstein's Office? Addison-Wesley Publishing Company, Inc.
Raymond Smullyan, 1992. Godel's Incompleteness Theorems. Oxford University Press.
Hao Wang, 1987. Reflections on Kurt Gödel. MIT Press.
Hao Wang, 1996. A Logical Journey: From Godel to Philosophy. MIT Press.
Yourgrau, Palle, 1999. Gödel Meets Einstein: Time Travel in the Gödel Universe. Chicago: Open Court.
Yourgrau, Palle, 2004. A World Without Time: The Forgotten Legacy of Gödel and Einstein. Basic Books. Book review by John Stachel in the Notices of the American Mathematical Society (54 (7), pp. 861–868):
പുറത്തേക്കുള്ള കണ്ണികൾ
കുർട്ട് ഗോഡൽ എന്ന വിഷയവുമായി ബന്ധപ്പെട്ട ചിത്രങ്ങൾ വിക്കിമീഡിയ കോമൺസിലുണ്ട്.