Lorsque Kurt Gödel a publié ses fameux théorèmes d'incomplétude en 1931, cela a ébranlé les fondements de la logique mathématique: il a réfuté que tous les axiomes qui peuvent être établis comme base possible sont inévitablement incomplets afin de prouver toutes les déclarations sur les nombres - et détruit cela Le rêve de Hilbert de prouver la cohérence de la théorie mathématique.
L'introduction des nombres de Gödel (l'association unique des formules à des nombres naturels) et de la diagonalisation (le remplacement de la variable libre dans les fonctions par son nombre de Gödel correspondant) sont deux concepts centraux que Gödel introduit dans sa démonstration. L'idée de démonstration cruciale dans laquelle Gödel combine ces concepts peut s'écrire comme suit.:
$$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}$$
Puisque \(P(p)\) ne peut pas être faux (car il serait autrement prouvable et donc vrai), \(P(p)\) vrai et donc non prouvable. Ainsi, il y a toujours une phrase vraie dans une langue (avec un choix d'axiomes) qui ne peut être prouvée. Ici \(g\) la Gödelization, \(p\) le numéro de Gödel du prédicat \(P\) , qui est l'archétype complémentaire \(\overline{B}^*\) de \(B\) (l'ensemble de tous Nombres de Godel de toutes les propositions prouvables) sous la fonction diagonale \(d\) .
Pour approfondir le sujet , la publication de Gödel de 1931 et l'article pertinent de Stepan Parunashvili sont recommandés. Outre les théorèmes d'incomplétude, Gödel a apporté d'autres contributions fondamentales, notamment l'irréfutabilité de l'hypothèse du continu de Cantor et l' argument ontologique de l'existence de Dieu dans le langage de la logique modale.