Човекът, който пречупи математиката: Гениалността на Гьодел и границите на логиката
Теоремите за непълнота на Гьодел —
краят на „математиката на всичко"
През 1931 г. Курт Гьодел доказва нещо, което математиците не са очаквали и не са искали да чуят: никой набор от аксиоми не може да бъде едновременно пълен и непротиворечив. Математическата „теория на всичко" е невъзможна по принцип.
В началото на XX век амбицията на математиците е да изградят солидна основа за цялата математика — набор от аксиоми, от които да следват всички математически истини, без противоречия. Хилберт формулира тази програма систематично. Гьодел я срива.
Двете теореми за непълнота, публикувани от австрийския логик Курт Гьодел през 1931 г., когато той е само на 25 години, са сред най-дълбоките резултати в историята на математиката.
Следствието е ясно: не може да съществува „математическа теория на всичко". Каквото и да доказваме, зависи от избраните аксиоми — а не от някаква универсална истина, обхващаща всичко.
Гьоделово номериране
Как се доказват такива твърдения? Основната идея на Гьодел е гениална: той кодира математическите формули като числа, така че системата да може да „говори" за самата себе си.
В опростената схема на Нагел и Нюман (1958) се работи с 12 основни символа — сред тях \(\exists\), \(+\), \(=\), \(\sim\) (отрицание), наследникът \(s\) и нулата \(0\). Символите получават числа от Гьодел от 1 до 12. Променливите \(x, y, z, \ldots\) получават прости числа, по-големи от 12: 13, 17, 19, ...
На всяка формула от символи се съпоставя уникално число на Гьодел: ако символите на формулата имат числа \(g_1, g_2, \ldots, g_n\), числото на Гьодел е:
\[2^{g_1} \cdot 3^{g_2} \cdot 5^{g_3} \cdots p_n^{g_n},\]където \(p_k\) е \(k\)-тото просто число.
Нека числата на Гьодел на \(0\), \(=\), \(0\) са съответно 6, 5, 6. Тогава:
\[2^6 \cdot 3^5 \cdot 5^6 = 64 \cdot 243 \cdot 15625 = 243\,000\,000.\]
Тъй като всяко естествено число се разлага на прости множители по уникален начин (фундаментална теорема на аритметиката), единственото разлагане на 243 000 000 е \(2^6\cdot3^5\cdot5^6\), което точно съответства на \(0=0\). Кодирането е обратимо и взаимно еднозначно.
Доказателствата — поредици от формули — получават число на Гьодел по аналогичен начин: \(2^{g(F_1)} \cdot 3^{g(F_2)} \cdots\), където \(g(F_k)\) е числото на Гьодел на \(k\)-тата формула в доказателството.
Аритметизиране на метаматематиката
Сега идва истинската сила на метода. Твърденията за формули — метаматематически твърдения — също могат да се преведат в аритметични формули с числа на Гьодел. Системата може да говори за себе си.
Формулата G и самоотнасянето
Разгледаме метаматематическото твърдение: „Формулата \(\mathrm{sub}(y, y, 17)\) не може да бъде доказана." Това твърдение се превежда в аритметична формула с число на Гьодел \(n\).
Сега Гьодел заменя \(y\) с \(n\) навсякъде в тази формула и получава новата формула \(G\): „Формулата \(\mathrm{sub}(n, n, 17)\) не може да бъде доказана."
Ако системата е непротиворечива, \(G\) е вярна, но недоказуема: ако я допуснем за доказана, системата казва, че тя е недоказуема — противоречие. Ако я допуснем за опровергана, системата е противоречива. И в двата случая — непълнота или противоречивост. Гьодел предпочита непълнотата.
Втората теорема и невъзможността за самопотвърждение
Ако един набор от аксиоми можеше да докаже собствената си непротиворечивост, би съществувала поредица от формули — изградена от тези аксиоми — доказваща твърдението „Тази система е непротиворечива." По силата на първата теорема обаче тя тогава би била непълна. Следователно доказателство за непротиворечивост изисква по-силна система — а тя самата пак не може да докаже собствената си непротиворечивост.
Теоремите на Гьодел не унищожават математиката. Те просто фиксират нейните граници. Математиката продължава да открива, да доказва и да строи — но винаги в рамките на избрани аксиоми, а не на универсална абсолютна истина. Тази скромност е може би по-честна картина на знанието, отколкото Хилберт е мечтал.
Запишете урок
Индивидуални и групови онлайн уроци по математика за цялата страна
- ›НВО по математика след 7 клас
- ›НВО по математика след 10 клас
- ›Кандидатстудентски изпити по математика
- ›Прием в университети в чужбина (ISEE, SAT, A-Level)
- ›Усвояване на текущия учебен материал (всички класове)
- ›Студенти: Мат. анализ, Линейна алгебра, Аналитична геометрия, Диф. уравнения, Теория на вероятностите, Статистика и др.
Харесва ли ви съдържанието?
Ако тази статия ви е харесала, можете да подкрепите създаването на нови безплатни материали.
Коментари
Публикуване на коментар