Курт Гедел
| Курт Гедел | |
|---|---|
|
|
|
| Општи подаци | |
| Датум рођења | 28. април 1906. |
| Место рођења | Брно (Аустроугарска) |
| Датум смрти | 14. јануар 1978. |
| Место смрти | Принстон (САД) |
| Рад | |
| Поље | математика |
Курт Гедел (нем. Kurt Gödel; Брно, 28. април 1906 — Принстон, 14. јануар 1978) био је аустријско-амерички математичар логичар који је 1931. године доказао комплетност првог реда инфинитезималног рачуна функција. Затим је уследио његов рад О формалној неодређености поставки у „Принципима математике“ и односним системима (нем. Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme), у којем је доказао прву од своје две знамените теореме некомплетности. Овај рад, датиран 17. новембра 1930, изворно је објављен на немачком, 1931. године у часопису „Монатсхефте фир математик“ (нем. Monatshefte für Mathematik).
Године 1938. Гедел је показао да се Канторова хипотеза континуума не може оповргнути унутар стандардне Цермело—Френкел теорије скупова, чак ни ако јој се дода аксиома избора. Амерички математичар Пол Коен је 1963. године шокирао математичку заједницу доказавши да се хипотеза континуума не може ни доказати унутар ZFC.
Његов допринос на пољу математике, искористио је Даглас Хофштатер за приказивање своје философије у књизи „Гедел, Ешер, Бах - вечна златна плетеница“.
[уреди] Види још
[уреди] Спољашње везе
