Pourquoi

le Théorème
de Pythagore
est vrai ?
 THEOREME

HYPOTHESES RESULTAT
Méthode axiomatique
 Modification des axiomes

Théorie différente avec des résultats différents

 PEUT-ON TOUT DÉMONTRER
EN MATHÉMATIQUES ?

Vrai Démontrable

L’ignorance en mathématiques
est inconcevable.
Kant
Début du 20ème siècle: Crise des fondements
Paradoxe de Russell

Apparition de paradoxes qui menaçaient la

cohérence des mathématiques

Nécessité d’une réforme mathématique

Frege, Zermelo, Hilbert, Russell, Whitehead, …

 Programme de Hilbert
Objectif
Fonder les maths sur des bases incontestables
Démontrer leur cohérence.
Conviction de Hilbert
Toute vérité mathématique est démontrable
si on trouve le bon langage et les bons axiomes.

« Nous devons savoir. Nous saurons »

David Hilbert - 1930
 Le choc : Gödel - 1931

En mathématiques,
il existera toujours des
énoncés vrais,
et pourtant indémontrables.
Kurt Gödel
(1906, Autriche - 1978, États-Unis)

• A 25 ans : 1er théorème d’incomplétude

• 1940: Fuit l'Autriche (sous régime nazi)

vers les Etats Unis.

• 1951: Prix Albert Einstein

• 1970: Troubles mentaux

 Cohérence

Une théorie est cohérente (consistante)

si elle est non-contradictoire,
(impossible de démontrer à la fois une formule et sa
négation).

Sinon elle est dite

incohérente (inconsistante, contradictoire).
 Décidabilité et indécidabilité

Une proposition est dite décidable

si elle est démontrable ou réfutable
À partir des axiomes de la théorie.

Une proposition est indécidable (ou indépendante)

s'il est impossible de la démontrer,
ou de démontrer sa négation,
à partir des axiomes de cette théorie.
 Exemple simple

Axiomes
A1: Je suis Marocain
A2 : J’enseigne les maths

Je porte des lunettes Indécidable

 Complétude et incomplétude

Une théorie axiomatique est dite complète

si toute proposition est décidable.

Sinon elle est dite incomplète.

G. Frege
Caractéristiques
d'une théorie mathématique

•Cohérence
•Complétude
 Rêve de Hilbert

Possibilité de construire
un système d’axiomes
complet
(toutes les propositions
mathématiques vraies
sont démontrables)
 Gödel (1931)
Fin d’un espoir
Les deux théorèmes d'incomplétude
de Gödel
Sur les propositions
formellement indécidables
des Principia Mathematica
et des systèmes apparentés
III.
1er Théorème
d'incomplétude
 Théorie
Le 1er théorème axiomatique
d'incomplétude de Gödel Arithmétique

Soit T une théorie axiomatique cohérente

et contenant l’arithmétique
(suffisamment puissante pour représenter l'arithmétique de Peano).

Alors T est incomplète.

Autrement:
il existe des énoncés indécidables.
 Dans une théorie axiomatique cohérente

Indécidables

Aucune théorie cohérente n’est capable de démontrer ou réfuter

l’entièreté des formules écrites dans son propre langage !
 LE GRAND DILEMME

Système axiomatique

Incomplet Incohérent
Problème Catastrophe
Et si le système est incohérent (contradictoire) ?
Une seule contradiction ⟹ Tout est démontrable !

2+2=5

4=5

1=2
Le pape et moi sommes deux
Donc nous sommes un

je suis le pape ! Bertrand Russell

 Théorème d’incomplétude
Domaine large d’applications

Pratiquement presque
toutes les théories mathématiques. Théorie
• Théorie des ensembles
mathématique
• Arithmétique de Peano Arithmétique
•…
 Conséquences du 1er théorème de Gödel

1 2 3
Il n’existe pas de Tout système est soit Si le système est
système d’axiomes incohérent soit cohérent, il existera
parfait (cohérent et incomplet ! toujours des énoncés
complet). vrais mais
indémontrables.
 Impossible de rendre un système incomplet complet !

Même si on ajoute un nombre A1

fini d’axiomes Autres
A2
axiomes
à notre système incomplet,
A3
il restera toujours incomplet !
….
3ème option
pour les
chercheurs
Probablement on
en maths cherche à démontrer
l’indémontrable !
 Limites de la connaissance mathématique
L’ensemble des vérités
Dans un système incomplet

Vérités Vérités
indémontrables démontrables
IV.
Exemples
d’énoncés
indécidables
1er problème de Hilbert:
Hypothèse du continu
Le cardinal infini qui suit
immédiatement le dénombrable
est celui du continu.

𝐶𝑎𝑟𝑑 ℕ < ? < 𝐶𝑎𝑟𝑑(ℝ)

Paul Cohen (Médaille Fields - 1966)

Cette conjecture est indécidable
dans la théorie ZFC.
 Axiome du choix « AC » (Zermelo - 1904)

Pour tout ensemble E, il existe une fonction

qui à chaque partie non vide de E
associe un élément de cette partie

Godel (1938) & Cohen (1963)

Ernst Zermelo L’axiome du choix est indécidable dans la théorie ZF

ZF ZFC=ZF+AC
 Le lemme de Zorn

Dans ZF
Lemme de Zorn Axiome du choix

Conséquence
Max Zorn Lemme de Zorn

Décidable dans ZFC Indécidable dans ZF

 Informatique
Problème de l'arrêt (Halting problem)

Peut-on savoir si un programme informatique

s'arrêtera en un temps fini ou bouclera à jamais?

Alan Turing -1936

Le problème de l'arrêt est indécidable
Il n’existe pas de programme qui puisse dire avec certitude
Alan Turing si un autre programme va terminer en temps fini, ou non.
V. INGRÉDIENTS
DE LA PREUVE

1er Théorème d'incomplétude

1er ingrédient de la preuve:
Codage de Gödel (Arithmétisation de la syntaxe)
Transformer tout énoncé en un nombre entier
et toute démonstration en une suite de nombres entiers.

A chaque signe nous associons un entier: A chaque formule (suite de signes)

nous associons un entier
(décomposition en facteurs premiers)

Exemple
 S

G est démontrable dans T si et seulement si S(G) est vrai dans AP

2èmeingrédient de la preuve:
Création d’un dilemme
Soit G l’énoncé : « G est non démontrable »

G est faux ⟺ G est démontrable ⟺ S(G) est vrai

S(G) vrai S(G) faux

G est « faux et démontrable » « G vrai et indémontrable »

L’incohérence L’incomplétude
 VI.
2ème Théorème
d'incomplétude
 Le 2ème théorème d'incomplétude de Gödel

Soit une théorie axiomatique contenant l’arithmétique.

Alors la cohérence de la théorie ne peut pas être
démontrable dans la théorie.

Autrement
La cohérence de la théorie est indécidable!

Pour montrer la cohérence d’une théorie,

il faut sortir du système lui-même, se mettre en vision externe.
 Conséquence
2ème problème de Hilbert
Peut-on prouver la cohérence de l'arithmétique ?

Gödel
Cela ne pouvait être démontré sans sortir de l'arithmétique.

Cohérence de l’arithmétique

Indémontrable dans l’arithmétique Démontrable dans ZF

(mais la cohérence de ZF est non démontrable)
conclusion
 Dans un système incomplet
La vérité ne Vrai Démontrable
s’exprime pas
toujours
en terme de Dans un système incohérent
démonstrabilité Démontrable Vrai
 Qu’est ce qu’une vérité mathématique?

5ème postulat d’Euclide Alfred Tarski

Le concept de vérité dans
les langages formalisés
(1933)

Vrai Faux
Modèle du plan Modèle hyperbolique
 Mauvaises
interprétations des
théorèmes de Godel

•
•
•

•
 Merci
pour votre attention