Курт Гьодел: Разлика между версии

Гьодел е един от най-значимите логици на всички времена. РаботитеТрудовете му имат съществено влияние върху научното и философско мислене на XX. век,. ощеТе отразтърсват началотонаучния насвят още през 30-те векагодини, когато [[Давид Хилберт|Хилберт]], [[Вилхелм Акерман|Акерман]], [[Алфред Норт Уайтхед|Уайтхед]], [[Бъртранд Ръсел|Ръсел]] поставят основите на използването на [[логика]]та и [[теория на множествата|теорията на множествата]] за разбиране на основите на математиката.

Гьодел е познат преди всичко с неговите [[Теорема на Гьодел за непълнота|теореми за непълнота]], публикувани през 1931 г., когато е бил на 25 години, една година след защитата на докторската си дисертация във [[Виенски университет|Виенския университет]]. По-известната теорема за непълнота гласи, че за всяка вътрешно непротиворечива, рекурсивна аксиоматична система, достатъчна за да опише аритметиката на естествените числа ([[Аритметика на Пеано]]), съществуват верни твърдения за естествените числа, които не могат да бъдат доказани в рамките на тази аксиоматична система.