Kurt Gödel
Sa Wikipedije, slobodne enciklopedije
Kurt Gödel (Kurt Gedel; Brno, 28. april 1906. - Prinston, 14. januar 1978. godine) 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 dve poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17. novembra 1930. godine, izvorno je objavljen na Njemačkom jeziku 1931. godine u časopisu "Monatshefte für Mathematik".
1938. godine, Gedel je pokazao da se Kantorova hipoteza kontinuuma ne može opovrgnuti unutar standardne Cermelo-Frenkel teorije skupova, čak ni ako joj se doda aksiom izbora. Američki matematičar Pol Koen je 1963. godine šokirao matematičku zajednicu dokazavši da se hipoteza kontinuuma ne može ni dokazati unutar ZFC.
[uredi] Također pogledajte
- Gedelova teorema o potpunosti
- Gedelove teoreme o nepotpunosti