கியேடல்

குர்ட் பிரீடரிக் கியேடல் (Kurt Friedrich Gödel) ஏப்ரல் 28, 1906 அன்று ஆஸ்திரிய-அங்கேரியைச் சேர்ந்த (இப்போதைய செக் குடியரசு), மொராவியாவில் புருனோ என்னும் இடத்தில் இடாய்ச்சு (ஜெர்மன்) இனத்தைச் சேர்ந்த ருடால்ஃவ் கியேடல் என்பாரின் குடும்பத்தில் பிறந்தார். ருடால்ஃவ் கியோடால் நெசவு ஆலையில் மேலளராக இஉந்தார். தாயார் மாரியான் கியேடல் ஆண்ட்சூ (Handschuh)வில் பிறந்தவர்.^[2] இவரது காலத்தில் அந்நகரில் செருமன் பேசுபவர்கள் பெரும்பான்மையான எண்ணிக்கையில் இருந்தனர்.^[3] குர்ட் கியேடலின் மூதாதையர்கள் புருனோவின் கலைபண்பாட்டு வாழ்க்கையில் நன்கு பங்கு கொண்டவர்கள். குர்ட் கியேடலின் தாத்தா யோசஃவ் கியேடல் அக்காலத்தில் புகழ்பெற்ற பாடகர்.^[4]

கியேடலுக்கு கி. பி. 1951ஆம் ஆண்டுக்கான அல்பர்ட் ஐன்ஸ்டீன் விருது சூலியன் சீவிங்கருடன் பகிர்ந்து வழங்கப்பட்டது. கி. பி. 1974ஆம் ஆண்டுக்கான "அறிவியலின் தேசிய பதக்கம்" என்ற விருதும் வழங்கப்பட்டது.

இவர் தன் பிற்கால வாழ்க்கையில் மனநலக் கோளாறுகளால் பாதிக்கப்பட்டு நலிவுற்றார். இவருக்கு தன் உணவில் யாரோ நஞ்சை கலந்துவிடுவதாக தேவையில்லாத அச்சம் இருந்தது. அதனால் இவரின் துணைவியான அடெல் தயாரித்த உணவுகளையே உட்கொண்டார். கி. பி. 1977ஆம் ஆண்டில் அடெல் ஆறு மாதங்கள் மருத்துவமனையில் இருந்ததால் இவருக்கு உணவு தயாரிக்க இயலாமல் போனது. இவரின் துணை தயாரிக்காத உணவை உட்கொள்ள மருத்த கியேடல் உண்பதற்கு மறுத்து பசியால் இறந்தார். இவர் இறக்கும் போது இவரின் எடை வெரும் முப்பது கிலோகிராம்களே இருந்தன. பிரின்சுடன் மருத்துவனை கி. பி. 1978ஆம் ஆண்டில் இவர் தனக்கு ஏற்பட்ட மன உளைச்சலால் உணவு அருந்தாமல் நலிவுற்று இறந்தார் என அறிவித்தது. இவரைத் தொடர்ந்து இவரின் துணைவியான அடெல் கி. பி. 1981ஆம் ஆண்டில் இறந்தார்.

டாய்ட்சு மொழியில்:

• 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme," 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.

ஆங்கில மொழிபெயர்ப்பில்:

• 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. http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf பரணிடப்பட்டது 2004-09-16 at the வந்தவழி இயந்திரம் 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 பரணிடப்பட்டது 2012-09-11 at the வந்தவழி இயந்திரம், c. 1960, unpublished.
• The modern development of the foundations of mathematics in the light of philosophy பரணிடப்பட்டது 2011-04-11 at the வந்தவழி இயந்திரம், 1961, unpublished.
• தொகுப்புகள்: Oxford University Press: New York. Editor-in-chief: Solomon Feferman.
  • Volume I: Publications 1929-1936 பன்னாட்டுத் தரப்புத்தக எண் 0-19-503964-5,
  • Volume II: Publications 1938-1974 பன்னாட்டுத் தரப்புத்தக எண் 0-19-503972-6,
  • Volume III: Unpublished Essays and Lectures பன்னாட்டுத் தரப்புத்தக எண் 0-19-507255-3,
  • Volume IV: Correspondence, A-G பன்னாட்டுத் தரப்புத்தக எண் 0-19-850073-4.
  • Volume V: Correspondence, H-Z பன்னாட்டுத் தரப்புத்தக எண் 0-19-850075-0

• Dawson, John W., 1997. Logical dilemmas: The life and work of Kurt Gödel. Wellesley MA: A K Peters.
• 1911 Encyclopædia Britannica/Brünn. (2007, September 19). In Wikisource, The Free Library. Retrieved 10PM EST 13 March, 2008, from http://en.wikisource.org/w/index.php?title=1911_Encyclop%C3%A6dia_Britannica/Br%C3%BCnn&oldid=447734

• John L. Casti and Werner DePauli, 2000. Gödel: A Life of Logic, Basic Books (Perseus Books Group), Cambridge, MA. பன்னாட்டுத் தரப்புத்தக எண் 0-7382-0518-4.
• Torkel Franzén, 2005. Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. Wellesley, MA: A K Peters.
• Rebecca Goldstein, 2005. Incompleteness: The Proof and Paradox of Kurt Gödel. W. W. Norton & Company, New York. பன்னாட்டுத் தரப்புத்தக எண் 0-393-32760-4 pbk.
• 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.
• J.R. Lucas, 1970. The Freedom of the Will. Clarendon Press, Oxford.
• Ernst Nagel and Newman, James R., 1958. Gödel's Proof. New York Univ. Press.
• Procházka, Jiří, 2006, 2006, 2008. Kurt Gödel: 1906–1978: Genealogie. ITEM, Brno. Volume I. Brno 2006, பன்னாட்டுத் தரப்புத்தக எண் 80-902297-9-4. In Ger., Engl. Volume II. Brno 2006, பன்னாட்டுத் தரப்புத்தக எண் 80-903476-0-6. In Germ., Engl. Volume III. Brno 2008, பன்னாட்டுத் தரப்புத்தக எண் 80-903476-4-9. In Germ., 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.
• Wang, Hao. 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.

விக்கிமீடியா பொதுவகத்தில்,
Kurt Gödel
என்பதில் ஊடகங்கள் உள்ளன.

• O'Connor, John J.; Robertson, Edmund F., "கியேடல்", MacTutor History of Mathematics archive, புனித ஆண்ட்ரூசு பல்கலைக்கழகம்.
• கணித மரபியல் திட்டத்தில் கியேடல்
• Weisstein, Eric Wolfgang (ed.). "Gödel, Kurt (1906-1978)". ScienceWorld.
• 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ödels Theorem and Information பரணிடப்பட்டது 2008-09-21 at the வந்தவழி இயந்திரம் - Authored by Gregory Chaitin
• "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.
• Dangerous Knowledge பரணிடப்பட்டது 2007-11-08 at the வந்தவழி இயந்திரம் Google Video of a BBC documentary featuring Kurt Gödel and other revolutionary mathematical thinkers.