கியேடல்

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

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  *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.
* தொகுப்புகள்: Oxford University Press: New York.  Editor-in-chief: Solomon Feferman.
** Volume I: Publications 1929-1936 ,
** Volume II: Publications 1938-1974 ,
** Volume III: Unpublished Essays and Lectures ,
** Volume IV: Correspondence, A-G .
** Volume V: Correspondence, H-Z 

## அடிக்குறிப்புகளும் மேற்கோள்களும்

## உசாத்துணை
* 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. .
* 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.  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, . In Ger., Engl. Volume II. Brno 2006, . In Germ., Engl. Volume III. Brno 2008, . 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

* 
* 
* 
* 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  - 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  Google Video of a BBC documentary featuring Kurt Gödel and other revolutionary mathematical thinkers.
## கடைசி நாட்கள்

பகுப்பு:1906 பிறப்புகள்
பகுப்பு:கணிதவியலாளர்கள்
பகுப்பு:1978 இறப்புகள்
பகுப்பு:அமெரிக்கக் கணிதவியலாளர்கள்
பகுப்பு:அமெரிக்க மெய்யியலாளர்கள்
பகுப்பு:ஆஸ்திரிய மெய்யியலாளர்கள்