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