Курт Гедел
Из пројекта Википедија
Курт Гедел (Kurt Gödel, 28. април 1906 - 14. јануар 1978) био је аустријско-амерички математичар логичар који је 1931. године доказао комплетност првог реда инфинитезималног рачуна функција. Затим је 1921. уследио његов рад Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (О формалној неодређености поставки у "Принципима математике" и односним системима), у којем је доказао прву од своје две знамените теореме некомплетности.
Године 1938. Гедел је показао да се Канторова хипотеза континуума не може оповргнути унутар стандардне Цермело-Френкел теорије скупова, чак ни ако јој се дода аксиома избора. Амерички математичар Пол Коен је 1963. године шокирао математичку заједницу доказавши да се хипотеза континуума не може ни доказати унутар ZFC.
