Le théorème de Gödel

Le texte donne une présentation simple de ce qu'est un langage formel et permet ensuite de comprendre le problème posé par le théorème d'incomplétude de Gödel, dont une preuve (simplifiée) est donnée.

Le théorème de Gödel

Jean César

Avant-propos 

I)Introduction

II) Le problème de la non-contradiction Utilisation des modèles

Formalisation

III) Le problème de la complétude Complétude du calcul propositionnel

Complétude du calcul des prédicats du premier ordre 

Incomplétude de l'arithmétique

IV) Conclusion

Annexe

Bibliographie