Les théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel établissent que toute théorie formelle cohérente capable d'exprimer l'arithmétique élémentaire est incomplète et ne peut prouver sa propre cohérence, imposant ainsi des limites fondamentales à la méthode axiomatique.

Definition

Le premier théorème d'incomplétude stipule que toute théorie cohérente, effectivement axiomatisée, qui interprète un fragment modeste de l'arithmétique, contient une proposition que ni elle ni sa négation ne peuvent prouver ; le second stipule qu'une telle théorie ne peut prouver une assertion formelle affirmant sa propre cohérence.

Scope

Ce sujet aborde l'arithmétisation de la syntaxe et la numérotation de Gödel, le lemme diagonal et la construction d'une proposition autoréférentielle, le premier théorème d'incomplétude sur l'existence de propositions vraies mais indécidables, le second théorème d'incomplétude sur l'impossibilité de prouver la cohérence, ainsi que les conditions standard et les conséquences telles que le théorème de Tarski sur l'indéfinissabilité de la vérité.

Core questions

• Comment la syntaxe d'une théorie est-elle encodée au sein de l'arithmétique elle-même ?
• Comment le lemme diagonal produit-il une proposition affirmant sa propre indécidabilité ?
• Pourquoi une théorie cohérente suffisamment puissante doit-elle être incomplète ?
• Pourquoi une telle théorie ne peut-elle pas prouver sa propre cohérence ?

Key theories

Lemme diagonal

Pour toute formule avec une variable libre, il existe une proposition que la théorie prouve être équivalente à cette formule appliquée au code de la proposition elle-même, permettant ainsi une autoréférence contrôlée.

Premier théorème d'incomplétude

L'application du lemme diagonal au prédicat de prouvabilité produit une proposition qui est vraie précisément lorsqu'elle est indécidable ; ainsi, une théorie arithmétique cohérente et effectivement axiomatisée contient une proposition qu'elle ne peut ni prouver ni réfuter.

Second théorème d'incomplétude

La formalisation de la preuve du premier théorème au sein de la théorie montre que la théorie prouve sa propre cohérence seulement si elle est incohérente ; par conséquent, une théorie cohérente ne peut établir sa propre cohérence.

Clinical relevance

Les théorèmes d'incomplétude ont remodelé les fondements des mathématiques en montrant qu'aucun système formel cohérent unique ne peut résoudre toutes les questions arithmétiques ou certifier sa propre fiabilité, ce qui limite le programme de Hilbert et motive les mesures de force théorique basées sur la théorie des ordinaux ainsi que l'étude de la cohérence relative.

History

Gödel a annoncé les théorèmes d'incomplétude en 1930 et les a publiés en 1931, bouleversant l'attente selon laquelle l'arithmétique pourrait être complètement et auto-certifiablement axiomatisée. Rosser a renforcé les hypothèses en 1936, et le théorème contemporain de Tarski sur l'indéfinissabilité de la vérité a fourni un résultat limitatif étroitement lié.

Key figures

• Kurt Goedel
• Alfred Tarski
• J. Barkley Rosser
• David Hilbert

Seminal works

• smith2013
• godel1931
• boolos2007

Frequently asked questions

Les théorèmes d'incomplétude affirment-ils que les mathématiques sont incohérentes ?

Non. Ils affirment que tout système formel cohérent et suffisamment puissant est incomplet et ne peut certifier sa propre cohérence. Ils ne mettent pas en doute la vérité des mathématiques, mais seulement la portée de tout système axiomatique donné.

L'incomplétude signifie-t-elle que certaines vérités sont inconnaissables ?

Pas dans un sens absolu. Une proposition indécidable dans une théorie peut être prouvable dans une théorie plus forte, par exemple en ajoutant un énoncé de cohérence ou un axiome plus puissant. L'incomplétude est une limitation de chaque système fixe, et non une barrière à la connaissance mathématique dans son ensemble.