„Kurt Gödel“: Munur á milli breytinga
Efni eytt Efni bætt við
Ekkert breytingarágrip |
Ekkert breytingarágrip |
||
Lína 15:
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
Þ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.
|