Курт Гьодел
австрийски и американски логик / From Wikipedia, the free encyclopedia
Курт Гьодел (IPA: [kʊɐ̯t ˈgøːdl̩], на немски: Kurt Gödel) е австрийски и американски логик, математик и философ.
Курт Гьодел Kurt Gödel | |
австрийски и американски логик | |
Курт Гьодел като студент във Виена | |
Роден | |
---|---|
Починал | |
Погребан | САЩ |
Религия | християнство |
Националност | австро-унгарско, американско австриец |
Учил във | Виенски университет |
Научна дейност | |
Област | Математика |
Учил при | Ханс Хан |
Работил в | Институт за авангардни изследвания, Принстън, Ню Джърси |
Известен с | Теорема за непълнотата |
Награди | Медал Алберт Айнщайн (1951) |
Семейство | |
Съпруга | Аделе Нимбурски (по баща Поркерт) |
Подпис | |
Курт Гьодел в Общомедия |
Гьодел е един от най-значимите логици на всички времена. Трудовете му имат съществено влияние върху научното и философско мислене на XX век. Те разтърсват научния свят още през 30-те години, когато Хилберт, Акерман, Уайтхед, Ръсел поставят основите на използването на логиката и теорията на множествата за разбиране на основите на математиката.
Гьодел е известен преди всичко с неговите теореми за непълнота, публикувани през 1931 г., когато е на 25 години, една година след защитата на докторската си дисертация във Виенския университет. По-известната теорема за непълнота гласи, че за всяка вътрешно непротиворечива, рекурсивна аксиоматична система, достатъчна, за да опише аритметиката на естествените числа (Аритметика на Пеано), съществуват верни твърдения за естествените числа, които не могат да бъдат доказани в рамките на тази аксиоматична система.
Той доказва, че хипотезата за континуума не може да бъде отхвърлена в рамките на теорията на множествата, ако нейните аксиоми са непротиворечиви. Той прави и съществени приноси в теорията на доказателствата, изяснявайки връзките между класическата, съждителна и модална логика.