GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (4)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Est consacré à l'indécidabilité du dixième problème de Hilbert et aux sujets connexes : équations diophantiennes, théorie des nombres, logique mathématique.
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés.
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Nombreux exercices corrigés.
texte imprimé
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'[...]
