Flux RSS :
 Articles

22 543 Visites | Version imprimable Version imprimable

image_livre Sommaire de l'article

Algèbre

Les théorèmes de Gödel font partie de la culture mathématique la plus répandue. Toutefois, vu leur difficulté technique, il n’est pas évident d’interpréter correctement des énoncés vulgarisés de ces théorèmes. Une des questions essentielles soulevées concerne l’existence théorique d’énoncés vrais et indémontrables. Cet article se propose d’explorer avec un peu plus de détails cette question.


Énoncés des théorèmes d’incomplétude de Gödel

Premier théorème. Si T est une théorie consistante et récursive contenant l’arithmétique, alors il existe des formules indécidables, i.e. T est incomplète.

Second théorème. Si T est une théorie consistante et récursive contenant l’arithmétique, alors on peut écrire dans le langage de T une formule Cons dont la signification intuitive est « T est consistante » et telle que Cons n’est pas démontrable.

Avant toute chose, il faut préciser la signification des termes mentionnés, tels que « consistant » et « récursif ».

Les définitions qui suivent seront pour la plupart informelles, bien que nombreuses (du moins pour un texte de vulgarisation en ligne). Elles seront toutefois nécessaires pour se rapprocher le plus possible de la signification de ces théorèmes.

Pages : 1 2 3 4 5 »


Réagir à l'article