Коли Курт Гедель опублікував свої знамениті теореми неповноти в 1931 році, це похитнуло основи математичної логіки: він спростував, що всі аксіоми, які можна встановити як можливу основу, є неминуче неповними, щоб довести всі твердження про числа - і знищив це Мрія Гільберта довести узгодженість математичної теорії.
Введення чисел Геделя (однозначне відображення формул на натуральні числа) та діагоналізація (заміна вільної змінної у функціях відповідним числом Геделя) - два центральних поняття, які Гедель вводить у своєму доказі. Ідею вирішального доказу, в якій Гедель поєднує ці поняття, можна записати наступним чином:
$$P(p) \, \text{wahr} \Leftrightarrow p \in \, \overline{B}^* \Leftrightarrow d(p) \in \overline{B} \Leftrightarrow d(p) \notin B \Leftrightarrow g(P(p)) \notin B \Leftrightarrow P(p) \, \text{unbeweisbar}$$
Оскільки \(P(p)\) не може бути хибним (оскільки воно в іншому випадку було б доказовим, а отже істинним), \(P(p)\) істинним, а отже, не доказуваним. Таким чином, у мові завжди є істинне речення (з будь-яким вибором аксіом), яке неможливо довести. \(g\) це геделізація, \(p\) число Геделя з предикатом \(P\) , який є додатковим архетипом \(\overline{B}^*\) з \(B\) (сукупність усіх Числа Годеля всіх доказуваних тверджень) за діагональною функцією \(d\) .
Для подальшого читання ми рекомендуємо публікацію Геделя 1931 року та прочитану статтю Степана Парунашвілі . На додаток до теорем неповноти, Гедель домігся і інших новаторських досягнень, включаючи незаперечність гіпотези континууму Кантора та онтологічне доведення Бога мовою модальної логіки.