Le théorème de Gödel

Le théorème de Gödel

Jean CÉSAR

2002 – ISBN : 978-2-84627-075-5 – 31 pages – format : 21x29.7 cm

Collection : Pratiques & techniques

Série : Les publications de l'IREM de Besançon

Disponibilité : Épuisé

7,00 €
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