Les théorèmes d'incomplétude de Godel

Les théorèmes d'incomplétude de Godel

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 cin... + Saiba mais

Descrição

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.. Niveau
universitaire

170x240 - 134pag.
ISBN: EUR
ISBN13: 9782100052875
Editora: Dunod, Editions
Dimensões: 170 x 240 (LxA)