Gödel Kurt

En 1931, Kurt Gödel met au jour une limite inattendue des systèmes d’axiomes capables de décrire l’arithmétique. Même si leurs règles ne conduisent à aucune contradiction, certaines propositions échappent à toute démonstration menée avec ces seules règles.

L’image utile est celle d’un livre de règles assez puissant pour parler des nombres, mais qui ne peut pas répondre à toutes les questions formulées dans son propre langage. Gödel ne montre donc pas que les mathématiques sont incohérentes. Il révèle qu’une cohérence parfaite ne garantit pas une réponse interne à chaque question.

Kurt Gödel est un logicien et mathématicien né en 1906 à Brünn, aujourd’hui Brno, et mort en 1978. Formé à la physique, aux mathématiques et à la philosophie, il s’oriente vers la théorie des nombres puis la logique mathématique. Après avoir été successivement citoyen tchécoslovaque, autrichien et allemand, il émigre aux États-Unis pendant la Seconde Guerre mondiale et devient américain en 1948.

Son apport le plus célèbre est constitué par les théorèmes d’incomplétude. Dans leur formulation usuelle, ils concernent un système formel T dont les axiomes sont donnés par une procédure effective, qui contient assez d’arithmétique élémentaire et qui est cohérent, c’est-à-dire qu’il ne démontre pas à la fois une proposition et sa négation. Le premier théorème garantit alors l’existence d’un énoncé arithmétique G_T tel que T ne démontre ni G_T ni sa négation. Dans l’interprétation standard des entiers naturels, on peut choisir G_T vrai mais indémontrable dans T.

Le second théorème établit, sous les conditions techniques usuelles, que T ne peut pas démontrer par ses seuls moyens l’énoncé exprimant sa propre cohérence. Ces résultats ont ruiné l’espoir d’un unique système effectif, cohérent et complet pour toute l’arithmétique, au cœur du programme de Hilbert. Le schéma associé distingue les hypothèses des deux conséquences : l’incomplétude de T et l’impossibilité pour T de certifier sa propre cohérence.

Considérons un système formel T qui possède les trois propriétés du théorème : ses axiomes sont effectivement énumérables, il formalise assez d’arithmétique et il est cohérent. L’exemple ne cherche pas à fabriquer G_T ; il montre comment lire la conclusion de Gödel sans la transformer en paradoxe.

1. On fixe T et l’on n’ajoute aucune règle extérieure.
2. Le théorème fournit un énoncé arithmétique G_T construit pour ce système précis.
3. Dans T, aucune suite valide de déductions n’aboutit à G_T ; aucune n’aboutit non plus à sa négation.
4. G_T est donc indécidable dans T, et T est incomplet.

Le contrôle est refaisable à partir des définitions : un système est complet s’il démontre ou réfute chaque énoncé de son langage. Comme G_T n’est ni démontré ni réfuté, T ne satisfait pas ce critère. Cette vérification porte sur la conséquence logique du théorème, pas sur une recherche finie de toutes les preuves possibles.

En fondements des mathématiques, les théorèmes de Gödel obligent à séparer deux questions : une théorie évite-t-elle les contradictions, et décide-t-elle tous ses énoncés ? Lorsqu’une proposition reste indécidable, on peut étudier un système renforcé plutôt que conclure à une incohérence.

En informatique théorique, ils éclairent les limites des systèmes de preuve formels. Le bon réflexe consiste à identifier le système, ses règles et le type d’énoncé avant de parler d’une impossibilité générale ; pour une question algorithmique, la décidabilité au sens du calcul constitue une notion voisine mais distincte.

En philosophie des sciences et en métaphysique, ces résultats nourrissent la réflexion sur vérité et démonstration. Ils invitent toutefois à examiner les hypothèses formelles exactes plutôt qu’à leur faire dire que toute vérité serait inaccessible.

Incomplétude et incohérence. Une théorie incomplète laisse au moins un énoncé sans preuve ni réfutation. Une théorie incohérente démontre une proposition et sa négation. L’énoncé G_T tranche le premier cas ; une contradiction explicite signalerait le second.

Indécidable dans T et dépourvu de vérité. Dire que G_T est indécidable dans T signifie que les axiomes de T ne permettent ni de le démontrer ni de le réfuter. Cela ne signifie pas que l’énoncé n’a aucun sens ou aucune valeur dans l’interprétation standard des entiers.

Premier et second théorèmes. Le premier établit l’existence d’énoncés indécidables dans T. Le second porte sur un énoncé particulier, celui qui formalise la cohérence de T, et montre que T ne peut pas le prouver par ses seuls moyens.

Un système trop faible n’entre pas dans le théorème. Si une théorie ne formalise pas assez d’arithmétique, la conclusion ne s’applique pas telle quelle. Il faut d’abord contrôler la puissance expressive et le caractère effectif des axiomes.

Ajouter un axiome ne supprime pas le phénomène. Un énoncé indécidable dans T peut devenir décidable dans une extension de T. Si cette extension reste cohérente, effectivement axiomatisée et assez riche, le théorème lui associe à son tour d’autres énoncés indécidables.

« Vrai mais indémontrable » est relatif à un cadre. La vérité évoquée concerne l’interprétation standard des entiers, tandis que l’indémontrabilité concerne les règles de T. Oublier l’un de ces deux repères rend la formule trompeuse.

Le théorème ne mesure pas l’esprit humain. Il établit une limite de systèmes formels déterminés. Pour éviter une extrapolation abusive, il faut revenir aux hypothèses portant sur T plutôt que conclure directement à une supériorité générale de l’intuition humaine.

Théorèmes d’incomplétude de Gödel — Pour isoler les deux énoncés logiques et leurs hypothèses au-delà du portrait du mathématicien.

Décidabilité et indécidabilité — Pour préciser ce que signifie décider une question dans un cadre formel ou algorithmique.

Les théorèmes d’incomplétude de Gödel — Pour approfondir le contexte et la portée du résultat central de 1931.