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/01/1993
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : Raymond M. Smullyan
Éditeur(s) :
Elsevier Masson
Collection(s) : Axiomes
Contributeur(s) : Traducteur : Maurice Margenstern
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225841958
Reliure : Broché
Pages : 0
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 0.9 cm
Poids: 280 g
Carte fidélité
Mollat Radio
