Курт Гьодел: Разлика между версии
м Робот Добавяне: et:Kurt Gödel |
м fixing masked redirect |
||
Ред 6: | Ред 6: | ||
| роден-място = [[Бърно]], [[Австро-Унгария]] |
| роден-място = [[Бърно]], [[Австро-Унгария]] |
||
| починал-дата =[[14 януари]] [[1978]] |
| починал-дата =[[14 януари]] [[1978]] |
||
| починал-място =[[Принстън]], [[САЩ]] |
| починал-място =[[Принстън]], [[Съединени американски щати|САЩ]] |
||
|живял в = |
|живял в = |
||
|гражданство = австро-унгарско, американско |
|гражданство = австро-унгарско, американско |
||
Ред 25: | Ред 25: | ||
|бележки = |
|бележки = |
||
|подпис = Kurt Gödel signature.svg |
|подпис = Kurt Gödel signature.svg |
||
}}'''Курт Гьодел''' (IPA: [kʊɐ̯t ˈgøːdl̩], {{lang-de|Kurt Gödel}}) е [[Австрия|австрийски]] и [[ |
}}'''Курт Гьодел''' (IPA: [kʊɐ̯t ˈgøːdl̩], {{lang-de|Kurt Gödel}}) е [[Австрия|австрийски]] и [[Съединени американски щати|американски]] [[логик]], [[математик]] и [[философ]]. |
||
Гьодел е един от най-значимите логици на всички времена. Работите му имат съществено влияние върху научното и философско мислене на XX. век, още от началото на века, когато [[Давид Хилберт|Хилберт]], [[Вилхелм Акерман|Акерман]], [[Алфред Норт Уайтхед|Уайтхед]], [[Бъртранд Ръсел|Ръсел]] поставят основите на използването на [[логика]]та и [[теория на множествата|теорията на множествата]] за разбиране на основите на математиката. |
Гьодел е един от най-значимите логици на всички времена. Работите му имат съществено влияние върху научното и философско мислене на XX. век, още от началото на века, когато [[Давид Хилберт|Хилберт]], [[Вилхелм Акерман|Акерман]], [[Алфред Норт Уайтхед|Уайтхед]], [[Бъртранд Ръсел|Ръсел]] поставят основите на използването на [[логика]]та и [[теория на множествата|теорията на множествата]] за разбиране на основите на математиката. |
Версия от 15:16, 23 септември 2009
Шаблон:Учен информацияКурт Гьодел (IPA: [kʊɐ̯t ˈgøːdl̩], Шаблон:Lang-de) е австрийски и американски логик, математик и философ.
Гьодел е един от най-значимите логици на всички времена. Работите му имат съществено влияние върху научното и философско мислене на XX. век, още от началото на века, когато Хилберт, Акерман, Уайтхед, Ръсел поставят основите на използването на логиката и теорията на множествата за разбиране на основите на математиката.
Гьодел е познат преди всичко с неговите теореми за непълнота, публикувани през 1931, когато е бил на 25 години, една година след защитата на докторската си дисертация във Виенския университет. По-известната теорема за непълнота гласи, че за всяка вътрешно непротиворечива, рекурсивна аксиоматична система, достатъчна за да опише аритметиката на естествените числа (Аритметика на Пеано), съществуват верни твърдения за естествените числа, които не могат да бъдат доказани в рамките на тази аксиоматична система.
Той доказва, че хипотезата за континуума не може да бъде отхвърлена в рамките на теорията на множествата, ако нейните аксиоми са непротиворечиви. Той прави и съществени приноси в теорията на доказателствата, изяснявайки връзките между класическата, съждителна и модална логика. Шаблон:Учен-мъниче Шаблон:Математика-мъниче