Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
texte imprimé
Les théorèmes d'incomplétude de Godel 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ése[...]
