ആസ്ട്രിയയിൽ ജനിച്ച,പിന്നേട് അമേരിക്കൻ പൗരത്വം നേടിയ യുക്തിചിന്തകനും ഗണിതശാസ്ത്രജ്ഞനും തത്ത്വശാസ്ത്രജ്ഞനുമായിരുന്നു കുർട്ട് ഗോഡൽ[2] German: [ˈkʊʁt ˈɡøːdəl] ( listen)(April 28, 1906- January 14, 1978).അദേഹം.അരിസ്റ്റോട്ടിലിനെ പോലെ ഇരുപതാം നൂറ്റാണ്ടിൽ ബർണാഡ് റസൽ[3],ഡേവിഡ് ഹില്ബർട്ട് എന്നിവരെ പോലെ തത്ത്വചിന്തക്കും ശാസ്ത്രമേഖലക്കും മികച്ച സംഭാവനകൾസെ നൽകി.ലോജിക്,സെറ്റ് തിയറി എന്നി എന്നിവ ഗണിതശാസ്ത്രത്തിൽ അടിസ്ഥാനമിട്ടു[4].
വസ്തുതകൾ Kurt Gödel, ജനനം ...
Kurt Gödel |
---|
|
ജനനം | Kurt Friedrich Gödel (1906-04-28)ഏപ്രിൽ 28, 1906
|
---|
മരണം | ജനുവരി 14, 1978(1978-01-14) (പ്രായം 71)
Princeton, New Jersey, U.S. |
---|
പൗരത്വം | Austria, United States |
---|
കലാലയം | University of Vienna |
---|
അറിയപ്പെടുന്നത് | Gödel's incompleteness theorems, Gödel's completeness theorem, the consistency of the Continuum hypothesis with ZFC, Gödel metric, Gödel's ontological proof |
---|
പുരസ്കാരങ്ങൾ | |
---|
ശാസ്ത്രീയ ജീവിതം |
പ്രവർത്തനതലം | Mathematics, Mathematical logic |
---|
സ്ഥാപനങ്ങൾ | Institute for Advanced Study |
---|
പ്രബന്ധം | Über die Vollständigkeit des Logikkalküls |
---|
ഡോക്ടർ ബിരുദ ഉപദേശകൻ | Hans Hahn |
---|
|
|
|
അടയ്ക്കുക
പ്രധാന പ്രസിദ്ധീകരണങ്ങൾ
ജർമ്മൻ ഭാഷയിൽ
- 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60.
- 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
- 1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 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.[5] 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.
- 1931a. "On completeness and consistency," 616–17.
- "My philosophical viewpoint" Archived 2014-04-07 at the Wayback Machine., c. 1960, unpublished.
- "The modern development of the foundations of mathematics in the light of philosophy" Archived 2014-04-22 at the Wayback Machine., 1961, unpublished.
- Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon Feferman.
"Gödel". Collins English Dictionary.
- John L. Casti and Werner DePauli, 2000. Gödel: A Life of Logic, Basic Books (Perseus Books Group), Cambridge, MA. ISBN 0-7382-0518-4.
- John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996.
- John W. Dawson, Jr, 1999. "Gödel and the Limits of Logic", Scientific American, vol. 280 num. 6, pp. 76–81
- Torkel Franzén, 2005. Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. Wellesley, MA: A K Peters.
- Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870–1940. Princeton Univ. Press.
- Jaakko Hintikka, 2000. On Gödel. Wadsworth.
- Douglas Hofstadter, 1980. Gödel, Escher, Bach. Vintage.
- Stephen Kleene, 1967. Mathematical Logic. Dover paperback reprint ca. 2001.
- Stephen Kleene, 1980. Introduction to Metamathematics. North Holland ISBN 0-7204-2103-9 (Ishi Press paperback. 2009. ISBN 978-0-923891-57-2)
- 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.
- Olga Taussky-Todd, 1983. Remembrances of Kurt Gödel. Engineering & Science, Winter 1988.
- 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):
കുർട്ട് ഗോഡൽ എന്ന വിഷയവുമായി ബന്ധപ്പെട്ട ചിത്രങ്ങൾ വിക്കിമീഡിയ കോമൺസിലുണ്ട്.