# கியேடல்



**குர்ட் கியேடல்** (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