കുർട്ട് ഗോഡൽ

ആസ്ട്രിയയിൽ ജനിച്ച,പിന്നേട് അമേരിക്കൻ പൗരത്വം നേടിയ യുക്തിചിന്തകനും ഗണിതശാസ്ത്രജ്ഞനും തത്ത്വശാസ്ത്രജ്ഞനുമായിരുന്നു കുർട്ട് ഗോഡൽ"Gödel". Collins English Dictionary. (April 28, 1906- January 14, 1978).അദേഹം.അരിസ്റ്റോട്ടിലിനെ പോലെ ഇരുപതാം നൂറ്റാണ്ടിൽ ബർണാഡ് റസൽ<ref name="Stanford&Son">For instance, in their [http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica] (Stanford Encyclopedia of Philosophy edition).</ref>,ഡേവിഡ് ഹില്ബർട്ട് എന്നിവരെ പോലെ തത്ത്വചിന്തക്കും ശാസ്ത്രമേഖലക്കും മികച്ച സംഭാവനകൾസെ നൽകി.ലോജിക്,സെറ്റ് തിയറി എന്നി എന്നിവ ഗണിതശാസ്ത്രത്തിൽ അടിസ്ഥാനമിട്ടുhttp://www-history.mcs.st-andrews.ac.uk/Biographies/Godel.html.

രചനകൾ

പ്രധാന പ്രസിദ്ധീകരണങ്ങൾജർമ്മൻ ഭാഷയിൽ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. 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): 

പുറത്തേക്കുള്ള കണ്ണികൾ


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-ൽ മരിച്ചവർ
വർഗ്ഗം:അമേരിക്കൻ ഗണിതശാസ്ത്രജ്ഞർ
വർഗ്ഗം:തത്വചിന്തകർ - അപൂർണ്ണലേഖനങ്ങൾ