S’informer et apprendre en ligne

OWL, LMS, iLES.

Accueil > Ressources > Autoréférence

Autoréférence

mardi 16 mai 1995

Dans la démonstration d’un théorème désormais célèbre, Gödel a utilisée l’autoréférence. Il a construit – à l’intérieur de l’arithmétique – une expression autoréférente qui signifiait « je ne suis pas démontrable » et il a établi que cette expression était néanmoins vraie, ce qui lui a permis de conclure que l’arithmétique était incomplète.

Lettre précédente
Lettre suivante


Voir en ligne : Lettre au format pdf