„Kurt Gödel“: Munur á milli breytinga

Efni eytt Efni bætt við
VolkovBot (spjall | framlög)
m robot Breyti: uk:Курт Гедель
Cessator (spjall | framlög)
Ekkert breytingarágrip
Lína 19:
Þekktastur er hann fyrir [[Ófullkomleikasetningar Gödels|ófullkomleikasetningar]] sínar tvær sem hann birti árið [[1931]], þá 25 ára að aldri og aðeins einu ári eftir að hafa fengið [[doktor]]sgráðu frá [[Háskólin í Vín|Háskólanum í Vín]]. Frægari setningin segir að hvert endurkvæmt [[Frumsenda|frumsendukerfi]] samkvæmt sjálfum sér, er lýst getur [[reikningur|reikningi]] [[Náttúrulegar tölur|náttúrulegra talna]], inniheldur [[forsenda|forsendur]] sem eru sannar en eru ekki sannanlegar innan þess kerfis.
 
Einnig sýndi hann fram á að ''[[samfellu tilgátansamfellutilgátan|samfellu tilgátunasamfellutilgátuna]]'' væri ekki hægt að afsanna með [[Frumsendur mengjafræðinnnar|frumsendum mengjafræðinnar]] ef frumsendurnar eru ekki [[Mótsögn|mótsagnakenndar]].
 
[[Albert Einstein]] var góðvinur Gödels, en Einstein hjálpað Gödel að komast til [[Bandaríkin|Bandaríkjanna]] og við að fá [[ríkisborgararéttur|ríkisborgararétt]] þar. Kurt Gödel lést í Bandaríkjunum vegna [[geðveiki]] sinnar. Hann neitaði að borða annað en heimaeldaðan mat konu sinnar, en ofsóknaræði fékk hann til að trúa því að illir menn væru að reyna eitra fyrir honum. Hann dó því úr sulti stuttu eftir að kona hans lést.