„Kurt Gödel“: Munur á milli breytinga

Efni eytt Efni bætt við
SieBot (spjall | framlög)
Cessator (spjall | framlög)
Ekkert breytingarágrip
Lína 1:
{{Heimspekingur |
'''Kurt Gödel''' ([[28. apríl]] [[1906]] – [[14. janúar]] [[1978]]) var [[rökfræði]]ngur, [[stærðfræði]]ngur og [[stærðfræðispeki]]ngur. Hann er álitinn einn merkasti rökfræðingur allra tíma og gjörbylti hann hugsun manna á sérsviðum sínum í þá mund sem [[Bertrand Russel]], [[A. N. Whitehead]] og [[David Hilbert]] voru að reyna beita rökfræði og [[mengjafræði]] til þess að glöggva á [[Frumsendur stærðfræðinnar|frumsendum stærðfræðinnar]].
svæði = Vestræn heimspeki |
tímabil = [[Heimspeki 20. aldar]],<br>[[Heimspeki 21. aldar]] |
color = #B0C4DE |
image_name = |
image_caption = |
nafn = Kurt Gödel |
fæddur = [[28. apríl]] [[1906]] |
látinn = {{Dauðadagur og aldur|1978|1|14|1906|4|28}} |
skóli_hefð = [[Rökgreiningarheimspeki]] |
helstu_ritverk = „Über formal unentscheidbare Sätze der ''Principia Mathematica'' und verwandter Systeme“; |
helstu_viðfangsefni = [[Rökfræði]], [[heimspeki stærðfræðinnar]] |
markverðar_kenningar = Ófullkomleikasetningin |
áhrifavaldar = [[Gottlob Frege]], [[Bertrand Russell]], [[David Hilbert]] |
hafði_áhrif_á = Alla rökfræðinga eftir hans dag |
}}
'''Kurt Gödel''' ([[28. apríl]] [[1906]] – [[14. janúar]] [[1978]]) var [[rökfræði]]ngur, [[stærðfræði]]ngur og [[stærðfræðispeki]]ngur. Hann er álitinn einn merkasti rökfræðingur allra tíma og gjörbylti hann hugsun manna á sérsviðum sínum í þá mund sem [[Bertrand Russel]], [[A. N. Whitehead]] og [[David Hilbert]] voru að reyna beita rökfræði og [[mengjafræði]] til þess að glöggva á [[Frumsendur stærðfræðinnar|frumsendum stærðfræðinnar]].
 
Þ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átan|samfellu tilgá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.
 
[[Flokkur:Rökfræðingar|Gödel, Kurt]]