കുർട്ട് ഗോഡൽ

ആസ്ട്രിയയിൽ ജനിച്ച,പിന്നേട് അമേരിക്കൻ പൗരത്വം നേടിയ യുക്തിചിന്തകനും ഗണിതശാസ്ത്രജ്ഞനും തത്ത്വശാസ്ത്രജ്ഞനുമായിരുന്നു **കുർട്ട് ഗോഡൽ** (April 28, 1906- January 14, 1978).അദേഹം.അരിസ്റ്റോട്ടിലിനെ പോലെ ഇരുപതാം നൂറ്റാണ്ടിൽ ബർണാഡ് റസൽ,ഡേവിഡ് ഹില്ബർട്ട് എന്നിവരെ പോലെ തത്ത്വചിന്തക്കും ശാസ്ത്രമേഖലക്കും മികച്ച സംഭാവനകൾസെ നൽകി.ലോജിക്,സെറ്റ് തിയറി എന്നി എന്നിവ ഗണിതശാസ്ത്രത്തിൽ അടിസ്ഥാനമിട്ടു.

## രചനകൾ

### പ്രധാന പ്രസിദ്ധീകരണങ്ങൾ
***ജർമ്മൻ ഭാഷയിൽ***

*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. *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" , c. 1960, unpublished.
* "The modern development of the foundations of mathematics in the light of philosophy" , 1961, unpublished.

**Collected Works*: Oxford University Press: New York.  Editor-in-chief: Solomon Feferman.
**Volume I: Publications 1929–1936 ISBN 978-0-19-503964-1 / Paperback:ISBN 978-0-19-514720-9,
**Volume II: Publications 1938–1974 ISBN 978-0-19-503972-6 / Paperback:ISBN 978-0-19-514721-6,
**Volume III: Unpublished Essays and Lectures ISBN 978-0-19-507255-6 / Paperback:ISBN 978-0-19-514722-3,
**Volume IV: Correspondence, A–G ISBN 978-0-19-850073-5,
**Volume V: Correspondence, H–Z ISBN 978-0-19-850075-9.

## അവലംബം

## കൂടുതൽ വായനയ്ക്ക്
* 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.&nbsp;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.&nbsp;861–868): 

## പുറത്തേക്കുള്ള കണ്ണികൾ
 
*
*
*Kennedy, Juliette. "Kurt Gödel." In Stanford Encyclopedia of Philosophy.
*Time Bandits: an article about the relationship between Gödel and Einstein by Jim Holt
*"Gödel and the limits of logic" by John W Dawson Jr. (June 2006)
*Notices of the AMS, April 2006, Volume 53, Number 4  Kurt Gödel Centenary Issue
*Paul Davies and Freeman Dyson discuss Kurt Godel
*"Gödel and the Nature of Mathematical Truth" Edge: A Talk with Rebecca Goldstein on Kurt Gödel.
*It's Not All In The Numbers: Gregory Chaitin Explains Gödel's Mathematical Complexities. 
*Gödel photo g. 
*
*National Academy of Sciences Biographical Memoir

വർഗ്ഗം:ഒപ്പുകൾ ഉൾപ്പെടുത്തിയിട്ടുള്ള ജീവചരിത്രങ്ങൾ
വർഗ്ഗം:ഏപ്രിൽ 28-ന് ജനിച്ചവർ
വർഗ്ഗം:1906-ൽ ജനിച്ചവർ
വർഗ്ഗം:ജനുവരി 14-ന് മരിച്ചവർ
വർഗ്ഗം:1978-ൽ മരിച്ചവർ
വർഗ്ഗം:അമേരിക്കൻ ഗണിതശാസ്ത്രജ്ഞർ
വർഗ്ഗം:തത്വചിന്തകർ - അപൂർണ്ണലേഖനങ്ങൾ