Le théorème de Gödel

Le théorème de Gödel

Jean CÉSAR Autor

2002 – ISBN : 978-2-84627-075-5 – 31 páginas – formato : 21x29.7 cm

Collection : Pratiques & techniques

Serie : Les publications de l'IREM de Besançon

Disponibilidad: Sin existencias

7,00 €
Resumen

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.

Índice

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

Autor(s)
Jean CÉSAR Autor
Elementos para telecargar