Kurt Friedrich Gödel (1906-1978) - Onimọnran ilu Austrian, oniṣiro ati onimọ-jinlẹ ti iṣiro. O di olokiki pupọ lẹhin ti o ṣe afihan awọn ilana ti ko pe, eyiti o ni ipa nla lori imọran awọn ipilẹ ti mathimatiki. O gba pe o jẹ ọkan ninu awọn ironu nla julọ ni ọrundun 20.
Ọpọlọpọ awọn otitọ ti o nifẹ si wa ninu akọọlẹ Gödel, eyiti a yoo sọ nipa rẹ ninu nkan yii.
Nitorinaa, eyi ni itan-akọọlẹ kukuru nipa Kurt Gödel.
Igbesiaye ti Gödel
Kurt Gödel ni a bi ni Oṣu Kẹrin Ọjọ 28, Ọdun 1906 ni ilu Austro-Hungaria ti Brunn (bayi Brno, Czech Republic). O dagba ni idile ti ori ile-iṣẹ aṣọ, Rudolf Gödel. O ni arakunrin kan ti a npè ni orukọ baba rẹ.
Ewe ati odo
Lati ibẹrẹ ọjọ ori, Gödel ṣe iyasọtọ nipasẹ itiju, ipinya, hypochondria ati ifura ti o pọ julọ. Nigbagbogbo o gbin ọpọlọpọ awọn ohun asan ninu ara rẹ, lati eyiti o jiya lẹhinna titi di opin ọjọ rẹ.
Fun apẹẹrẹ, paapaa ni oju ojo gbigbona, Kurt tẹsiwaju lati wọ awọn aṣọ ti o gbona ati mittens, nitori o gbagbọ laini ilẹ pe o ni ọkan alailagbara.
Ni ile-iwe, Gödel ṣe afihan agbara to dara lati kọ awọn ede. Ni afikun si ilu abinibi ara ilu Jamani rẹ, o ṣakoso lati ṣakoso Gẹẹsi ati Faranse.
Lẹhin gbigba iwe-ẹri naa, Kurt di ọmọ ile-iwe ni Yunifasiti ti Vienna. Nibi o kẹkọọ fisiksi fun ọdun meji, lẹhin eyi o yipada si iṣiro.
Lati 1926, eniyan naa jẹ ọmọ ẹgbẹ ti Circle Philosophical Circle ti Neopositivists, nibi ti o ti ṣe afihan ifẹ ti o tobi julọ ninu ọgbọn iṣiro ati ilana ẹri. Awọn ọdun 4 lẹhinna, o daabobo iwe apilẹkọ rẹ lori akọle “Lori aṣepari ti iṣiro iṣiro”, bẹrẹ lati kọ ni ile-ẹkọ giga abinibi rẹ.
Iṣẹ iṣe-jinlẹ
Ni ibẹrẹ ọrundun ti o kẹhin, onimọ-jinlẹ David Hilbert ṣeto lati ṣe agbekalẹ gbogbo iṣiro. Lati ṣe eyi, o ni lati jẹri aitasera ati aṣepari ti ọgbọn iṣiro ti awọn nọmba ti ara.
Ni Igba Irẹdanu ti ọdun 1930, a ṣeto apejọ kan ni Konigsberg, eyiti o jẹ deede nipasẹ awọn onimọ-jinlẹ olokiki. Nibe ni Kurt Gödel gbekalẹ awọn ilana ipilẹ ti ko pe, eyiti o fihan pe imọran Hilbert ti wa ni iparun si ikuna.
Ninu ọrọ rẹ, Kurt sọ pe fun eyikeyi yiyan awọn axioms ti iṣiro, awọn ẹkọ wa ti a ko le fi idi rẹ mulẹ tabi ṣeke nipasẹ awọn ọna ti o rọrun ti Hilbert pese, ati pe ẹri ti o rọrun ti aitasera ti iṣiro ko ṣeeṣe.
Awọn ariyanjiyan Gödel wa ni idunnu, nitori abajade eyiti o jere gbaye kariaye lalẹ. Lẹhin eyini, awọn imọran ti David Hilbert, ẹniti o tun mọ ẹtọ Kurt, ni atunyẹwo.
Gödel jẹ onimọran ati onimọ-jinlẹ ti imọ-jinlẹ. Ni ọdun 1931 o ṣe agbekalẹ ati ṣafihan awọn ilana ti ko pe.
Ọdun pupọ lẹhinna, Kurt ṣaṣeyọri awọn abajade giga ti o ni ibatan si idawọle itankalẹ Cantor. O ṣaṣeyọri ni ṣiṣe afihan pe aiṣe ti idawọle itesiwaju jẹ eyiti a ko le ṣete ni ipo axiomatics deede ti ilana ti a ṣeto. Ni afikun, o ṣe ilowosi pataki si idagbasoke ti axiomatics ti ilana ti a ṣeto.
Ni ọdun 1940, onimọ-jinlẹ ṣilọ si Ilu Amẹrika, nibiti o ti ni irọrun ipo ni Princeton Institute for Advanced Study. Lẹhin ọdun 13, o di ọjọgbọn.
Ni akoko igbasilẹ, Kurt Gödel ti ni iwe irinna Amẹrika kan tẹlẹ. Otitọ ti o nifẹ si ni pe lakoko ijomitoro naa, o gbiyanju lati fi idi rẹ mulẹ pe t’olofin Amẹrika ko ṣe onigbọwọ pe a ko gba laaye ijọba apanirun, ṣugbọn lẹsẹkẹsẹ o fi ọgbọn duro.
Gödel ni onkọwe ti awọn iṣẹ pupọ lori geometry iyatọ ati fisiksi ilana-iṣe. O ṣe atẹjade iwe kan lori ibatan gbogbogbo, nibi ti o gbekalẹ ọna lati yanju awọn idogba Einstein.
Kurt daba pe ṣiṣan akoko ni agbaye le wa ni ṣiṣi (metric Gödel), eyiti oṣeeṣe ko ṣe iyasọtọ seese ti irin-ajo akoko.
Kurt ṣe ibaraẹnisọrọ pẹlu Einstein fun iyoku igbesi aye rẹ. Awọn onimo ijinle sayensi sọrọ fun igba pipẹ nipa fisiksi, iṣelu ati ọgbọn ọgbọn. Ọpọlọpọ awọn iṣẹ Gödel lori yii ti ibatan ni abajade iru awọn ijiroro bẹẹ.
Awọn ọdun 12 lẹhin iku Gödel, akopọ awọn iwe afọwọkọ ti a ko tẹjade ni a tẹjade. O gbe ọgbọn ọgbọn, itan-akọọlẹ, imọ-jinlẹ ati awọn ibeere nipa ẹkọ nipa ẹkọ.
Igbesi aye ara ẹni
Ni ọjọ ti Ogun Agbaye II II (1939-1945), Kurt Gödel fi silẹ laisi iṣẹ, nitori nitori ifikun ti Austria si Jẹmánì, ile-ẹkọ giga naa ni awọn ayipada pataki.
Laipẹ a pe ọmọnikeji ọdun mejile 32 fun iṣẹ, ni abajade eyi ti o pinnu lati ṣeṣipo ni kiakia.
Ni akoko yẹn, Kurt ni ibaṣepọ pẹlu onijo kan ti a npè ni Adele Porkert, ẹniti o fẹ ni ọdun 1938. Ko si awọn ọmọde ni igbeyawo yii.
Paapaa ṣaaju igbeyawo, Gödel jiya lati awọn iṣoro ọpọlọ to lagbara. Nigbagbogbo o ṣe aibalẹ aibikita nipa nkan, fihan ifura ajeji, ati tun ni awọn iyọkuro aifọkanbalẹ.
Kurt Gödel ṣe aibalẹ nipa majele. Adele ṣe iranlọwọ fun u lati bawa pẹlu awọn iṣoro inu ọkan. Arabinrin naa mu ki o jẹ ki o jẹ mathimatiki ati sibi jẹ fun u nigbati o dubulẹ ti rẹwẹsi lori ibusun rẹ.
Lẹhin gbigbe si Amẹrika, Gödel wa ni iwin nipasẹ ero pe o le jẹ majele nipasẹ erogba monoxide. Bi abajade, o yọ firiji ati imooru kuro. Ifarabalẹ rẹ pẹlu afẹfẹ titun ati awọn iṣoro nipa firiji duro titi di igba iku rẹ.
Awọn ọdun to kọja ati iku
Ni ọdun pupọ ṣaaju iku rẹ, ipo Gödel buru si paapaa. O jiya lati inu awọn iyalẹnu ati jẹ igbẹkẹle ti awọn dokita ati awọn ẹlẹgbẹ.
Ni ọdun 1976, paranoia ti Gödel pọ si debi pe o bẹrẹ si korira si iyawo rẹ paapaa. O ṣe itọju lorekore ni awọn ile-iwosan, ṣugbọn eyi ko fun awọn abajade to han.
Ni akoko yẹn, ilera Adele tun bajẹ, fun idi eyi o fi wa ni ile-iwosan. O rẹwẹsi Kurt ni irorun ati ni ti ara. Ọdun kan ṣaaju iku rẹ, o ni iwuwo kere ju 30 kg.
Kurt Gödel ku ni Oṣu kinni ọjọ 14, ọdun 1978 ni Princeton ni ọmọ ọdun 71. Iku rẹ ni o ṣẹlẹ nipasẹ "aijẹ aito ati aijẹ aito" ti o fa nipasẹ "ibajẹ eniyan."
Awọn fọto Gödel
