கியேடல்

குர்ட் கியேடல் (Kurt Gödel) (ஏப்ரல் 28, 1906 - ஜனவரி 14, 1978) ஆஸ்திரியாவில் பிறந்த அமெரிக்க ஏரண, கணித, மெய்யியல் அறிஞர். உலகிலேயே மிகவும் பெரும்புகழ் நாட்டிய ஏரணர் (logician) எனலாம். 20-ஆம் நூற்றாண்டில் வாழ்ந்த புகழ்பெற்ற கணித, மெய்யிலாளர்களாகிய ஆல்ஃவிரட் நார்த் வொய்ட்ஹெட், பெர்ட்ரண்ட் ரஸ்சல், டேவிட் ஹில்பர்ட் ஆகியோர் வாழ்ந்த காலத்தில் இவருடைய ஏரணக் கருத்துகள் பெரும் தாக்கத்தை ஏற்படுத்தின.

குர்ட் கியேடல்
குர்ட் கியேடல் Kurt Gödel
பிறப்பு	(1906-04-28)ஏப்ரல் 28, 1906 புருனோ (Brno), மொராவியா(Moravia), ஆஸ்திரியா-அங்கேரி
இறப்பு	சனவரி 14, 1978(1978-01-14) (அகவை 71) பிரின்ஸ்டன், நியூ ஜெர்சி, அமெரிக்கா
துறை	கணிதம், கணித ஏரணம்
பணியிடங்கள்	Institute for Advanced Study
கல்வி கற்ற இடங்கள்	வியன்னா பல்கலைக்கழகம்
ஆய்வு நெறியாளர்	ஹான்ஸ் ஹான் (Hans Hahn)
அறியப்படுவது	கியோடலின் முற்றுப்பெறாமை தேற்றம் (Gödel's incompleteness theorems)
விருதுகள்	ஆல்பர்ட் ஐன்ஸ்டைன் விருது (1951)
கையொப்பம்

1931இல் 25 அகவையே நிரம்பிய கியேடல் வெளியிட்ட இரு முற்றுப்பெறாமைத் தேற்றங்கள் புகழ் பெற்றவை. இவற்றுள் புகழ்பெற்ற ஒரு தேற்றம் கூறுவது என்னவென்றால், இயல் எண்கள் பியானோ எண்கணிதத்தை (Peano arithmetic)) விளக்ககூடிய, தமக்குள் ஒத்தியங்கும் (self-consistent), எந்த மீளுறுக் கண (recursive set), முதற்கோள் அமையமும்(axiomatic system), தன் அமைப்புள், உண்மையென முன்வைக்கப்படும் கூற்றுகள் சில முதற்கோள்களால் (axioms) நிறுவமுடியாமல் இருக்கும். இந்த முடிவை நிறுவ கியோடல் எண் சூட்டும் முறை ஒன்றை உருவாக்கினார்.

முதற்கோள்கள் தமக்குள் ஒன்றுகொன்று ஒத்தியக்கம் உடையதாக இருப்பின், முதற்கோள் வழித்தான கணக்கோட்பாட்டியலைக் (axiomatic set theory) கொண்டு தொடர்ச்சியான முன்கோளை (continuous hypothesis) நிறுவ முடியாது என்று நிலைநாட்டினார். மரபுவழி ஏரணம், உய்த்துணர் ஏரணம், நிகழ்தகவுநிலை ஏரணம்(மோடால் ஏரணம்) ஆகியவற்றுக்கு இடையே உள்ள உறவுகளை தெளிவுபடுத்தி மெய்நாட்டுமைக் கருத்தியத்திற்கு (proof theory) ஏற்றம் தந்தார்.

வாழ்க்கை

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

இறப்பு

கியேடலுக்கு கி. பி. 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.

External links

விக்கிமீடியா பொதுவகத்தில்,
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.