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