- Résumé
-
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.
- Sommaire
-
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
- Auteur(s)
-
Jean CÉSAR
- éléments téléchargeables