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 – book size : 21x29.7 cm

Collection : Pratiques & techniques

Serie : The publications of the IREM of Besançon

Availability: Out of stock

€7.00
Summary

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.

Contents

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

Author (s)
Jean CÉSAR
downloadable items