Курт Гедел
 |
Овај чланак или један његов део нема никакве независне и поуздане изворе. Помозите да се овај чланак побољша тако што ћете унети одговарајуће референце. Текст који не садржи референце може бити доведен у питање, а потом и уклоњен. |
| Курт Гедел | |
|---|---|
|
|
|
| Општи подаци | |
| Датум рођења | 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.
Његов допринос на пољу математике, искористио је Даглас Хофштатер за приказивање своје философије у књизи „Гедел, Есхер, Бах - вечна златна плетеница“.
Види још [уреди]
Спољашње везе [уреди]
