Kurt Friedrich Gödel (Brno, 28. travnja 1906. - Princeton, 14. siječnja 1978.) je bio austrijsko-američki matematičar i logičar, koji je 1931. godine dokazao kompletnost prvog reda infinitezimalnog računa funkcija. Zatim je uslijedio njegov rad Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (O formalnoj neodređenosti postavki u "Principima matematike" i odnosnim sistemima), u kojem je dokazao prvu od svoje dvije poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17. studenog 1930. godine, izvorno je objavljen na Njemačkom jeziku 1931. godine u časopisu "Monatshefte für Mathematik".

Kurt Gödel

Gödel 1925.
Rođenje 28. travnja 1906.
Brno, Moravska Austro-Ugarska
Smrt 14. siječnja 1978.
Princeton, 1978. SAD
Prebivalište Austro-Ugarska, SAD
Etnicitet Austrijanac
Polje logika, matematika

1938. godine, Gödel je pokazao da se Cantorova hipoteza kontinuuma ne može opovrgnuti unutar standardne Zermelo–Fraenkel teorije skupova, čak ni ako joj se doda aksiom izbora. Američki matematičar Paul Cohen je 1963. godine šokirao matematičku zajednicu dokazavši da se hipoteza kontinuuma ne može ni dokazati unutar ZFC.

Gödel je rođen 28. travnja 1906, u Brnu tada u austrougarskoj pokrajini Moravskoj danas Češkoj u etničkoj njemačkoj obitelji Rudolfa Gödel, direktora tvornice tekstila i Marianne Gödel (rođene Handschuh).[1] U vrijeme njegova rođenja u Brnu je većinski jezik bio njemački.[2]

Izvor uredi