Thorme de Gdel

(dmonstration simplie)

Deconinck Matthieu

Les choses capitales qui ont t dites lhumanit ont toujours t des choses simples. Charles de Gaulle

Premier thorme dincompltude de Gdel (1931) Pour toute classe -consistante et rcursive k de F ORM U LES, il existe des SIGN ES DE CLASSE rcursifs r tels ni GEN r ni N EG(GEN r) nappartiennent CSQ(k). ( dsigant la V ARIABLE LIBRE de r)

Table des matires

Table des matires

Introduction 1 Dnition du sytme formel 2 Plongement du sytme P dans N 3 Le signe de classe indcidable 3 4 4 5

Table des matires

Introduction
Le dveloppement des mathmatiques vers plus dexactitude a conduit, comme nous le savons, en formaliser de larges secteurs, de telle sorte que la dmonstration puisse sy eectuer uniquement au moyen de quelques rgles mcaniques. Les systmes formels les plus complets tablis jusqu ce jour sont, dun ct, le systme des Principia Mathematica et, de lautre, le systme axiomatique de la thorie des ensembles tabli par Zermelo-Fraenkel (et dvelopp par J.von Neumann). Ces deux systmes sont tellement larges que toutes les mthodes de dmonstration utilises aujourdhui en mathmatiques y sont formalises, cest dire ramenes quelques axiomes et rgles dinfrence. On pourrait par consquent supposer que ces axiomes et rgles dinfrences susent pour dcider de toute question mathmatique qui pourrait sexprimer formellement dans ces systmes. Dans ce qui suit, nous montrerons que tel nest pas le cas et quil existe au contraire dans ces deux systmes des problmes relativement simples concernant la thorie des entiers que lon ne saurait trancher sur la base des axiomes. Cette situation nest pas due comme on pourrait le croire, la nature spcique des sytmes tablis mais touche une trs large classe de systmes formels, laquelle appartiennent en particulier tous les systmes qui rsultent des deux systmes cits plus haut par addition dun nombre ni daxiomes, pourvu que, par ces axiomes, aucune proposition fausse ne puisse tre dmontre. Kurt Gdel - Sur les propositions indcidables des Principia Mathematica et des systmes apparents I 1 (1931) Le premier thorme dincompltude de Gdel a t nonc pour la premire fois dans le fameux article ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme (Sur lindcidabilit formelle des Principia Mathematica et des systmes apparents) publi en 1931. Le but de cette partie est de dmontrer ce thorme. Nous prcisons que dans le mme article Gdel dmontrait galement son second thorme dincompltude mais nous ne nous y intresserons pas.

Nous avons travaill partir dune traduction franaise de ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme effectue par Jean-Baptiste Sherrer. Cet article est extrmement dense et seuls les rsultats les plus diciles y sont dmontrs ; aussi nous avons adopt une optique pdagogique en incluant de nombreux exemples. Dans ce rapport, trouverez une dmonstration simplie ainsi que la dmonstration complte (30 pages). Vous pourrez galement trouver les deux dmonstrations sur notre site : http ://www.dirk-k-lange.de/PSC/.
Le I sexplique de la manire suivante : Gdel avait projet dcrire une suite cet article an den prciser certaines dmonstrations. Cependant larticle fut trs bien accueilli par la communaut mathmatique et Gdel ne jugea pas ncessaire dcrire ce second volet.
1

2 Plongement du sytme P dans N

Dnition du sytme formel

Construisons un sytme formel P pouvant dcrire les entiers naturels. Ce systme contient des caractres que nous appelerons signes (tels que =, 0, 1, 2, . . . , : , x , y . . .). Ces caractres mis bout bout selon certaines rgles forment des phrases que nous appelerons formules (par exemple n: n = 0). Certaines formules seront appeles signes de classe ; ce sont les formules avec une unique variable libre dentier (par exemple x = 3 est un signe de classe). De plus si A est un signe de classe nous dsignons par [A : n] la formule obtenue en substituant n la variable de A. exemple: [(x = 3) : 7] est la formule 7 = 3. Ensuite, nous dnissons deux sous-ensembles de formules A et D avec A D. Ces ensembles sont construits dune manire bien particulire : A est appel lensemble des axiomes ; les formules dont il est constitu ont la mme signication que les axiomes de Peano2 D est lensemble des formules dmontrables ; pour le construire on dnit dabord une rgle de transformation des formules Pour tout entier n, de la formule (x: R(x)) on peut obtenir R(n) ; exemple: on peut transformer (x: x = 8) en (3 = 8), (122 = 8), (8 = 8) . . . De la formule f1 f et de la formule f1 on peut obtenir la formule f . D sera dni comme lensemble des formules que lon peut obtenir par des transformations successives des axiomes.

Plongement du sytme P dans N

Maintenant nous allons injecter ce systme dans N. 1. A chaque signe nous associons un entier ; par exemple : = 0 : 1 . . . x 7 y 8 ... 2. A chaque suite de signes (et donc chaque formule) nous associons un entier en utilisant la dcomposition en facteurs premiers. On appelera ces nombres les nombres de Gdel. exemple: (x: x = x) 21 37 57 70 117 Tous les concepts dnis prcdemment sont projets dans N. Par exemple, on dira quun entier n est dmontrable (et on crira Dem(n)) sil est le nombre de Gdel dune formule qui est dans D. De mme, on crira [a : n] le nombre de Gdel de
en fait on prend un ensemble un peu plus grand qui est celui dcrit dans les Principia Mathematica crit par B.Russell et A.Whitehead publi aux ditions Cambridge en 1925
2

3 Le signe de classe indcidable

[A : n] (o a est le nombre de Gdel de A). Dautre part, cette injection de P dans N nous permet de numroter les signes de classes (selon lordre dans lequel sont rangs leurs nombres de Gdel)3 ; on notera R(n) le nombre de Gdel du signe de classe numro n.

Le signe de classe indcidable

Q(n) Dem[R(n) : n]

Nous considrons maintenant la relation suivante Q dnie sur N par4 :

Cette relation est une relation sur les nombres entiers donc elle sexprime par un signe de classe S dans le systme P. Ce S correspond un certain R(q) (q N). Alors : [R(q) : q] est indcidable dans P En eet [R(q) : q] est dmontrable Q(q) [R(q) : q] est dmontrable Q(q) Et (la ngation de [R(q) : q]) est dmontrable Q(q) e
(car la ngation de [S : q] est la formule qui exprime Q) (par dnition de Q)

(car [S : q] est la formule qui exprime Q)

(la ngation de [R(q) : q]) est dmontrable Q(q) e

(par dnition de Q)

Fig. 1 Kurt Gdel (1906-1978)

3 4

cf Le paradoxe de Richard dans la partie Le paradoxe aux cent ttes la barre au-dessus dune relation reprsente la ngation