Rayon Analyse mathématique
Fiche technique
Format : Broché
Poids : 280 g
Dimensions : 16cm X 24cm
EAN : 9782225841958
Quatrième de couverture
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.
