Теоремата за непълнота

Контексти на интерпретация. Теоремата за непълнота е един от най-важните научни резултати, получени през последното столетие, а името на нейния откривател Курт Гьодел често се споменава редом с имената на Аристотел и Айнщайн. Гениалното и доказателство преобърна представите ни за същността на математиката, разкри отношението между истинност и доказуемост и показа възможностите на аксиоматичния метод. С това тя се превърна в едно от основополагащите постижения на математическата логика, което и в наши дни продължава да мотивира бурното и развитие, изразяващо се в роенето на нови и нови формални системи. През последните десетилетия все по-често се срещат опити теоремата на Гьодел да бъде изтълкувана като указание за принципната ограниченост на човешкото познание, или пък тъкмо напротив, за превъзходството на човешкия разум над машинния интелект.

В тази книга няма да става дума за тези опити, тя си поставя далеч по-скромната задача да разкаже какво всъщност открива Гьодел в далечната 1930 година, обсъждайки в различни ракурси основните моменти на неговото доказателство, използваните от него понятия и аргументативни методи. Тя цели да предостави на читателите си удобна изходна точка, от която те сами да се впуснат в изпълненото с изненади изследване на математическите теореми и техните философски интерпретации.

Росен Люцканов е завършил философия в Софийски университет Свети Климент Охридски. Защитава дисертация по логика в Института за философски изследвания към Българската академия на науките. Участвал е в съвместни изследователски проекти с научни институции от Белгия, Полша, Словакия, Чехия и Унгария. Водил е уводни курсове по логика в Нов български университет и в Пловдивски университет. Член е на управителния съвет на Българското общество по аналитична философия и на редколегията на Balkan Journal of Philosophy. Понастоящем е доцент в секция Логически системи и модели на Института за изследване на обществата и знанието към Българска академия на науките. Автор е на две монографии и над 40 статии. Научен консултант към издателство Изток-Запад и преводач на научно-популярна литература. Изследователските му интереси са в областта на историята и философията на логиката и математиката. Носител на награда на БАН Проф. Марин Дринов за млад учен за 2008 г.

Изток-Запад ТМ ЕООД
София, 1000
ул. Стара планина 5, ет. 2
iztok.zapadbg@gmail.com