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'une recherche de cinquante années et leurs conséquences sur les développements de la logique modale. ©Electre 2025
Paru le : 01/07/2000
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : Raymond M. Smullyan
Éditeur(s) :
Dunod
Collection(s) : Masson sciences
Contributeur(s) : Traducteur : Maurice Margenstern
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782100052875
Reliure : Broché
Pages : XI-134
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 0.8 cm
Poids: 266 g
Carte fidélité
Mollat Radio
