Synopses & Reviews
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. En faisant reposer toutes les preuves sur le codage de l'arrêt d'une machine de Turing, on a souligné l'homogénéité et l'unité profonde des résultats presentés. L'approche par les machines de Turing est très accessible grâce
Synopsis
Cet ouvrage presente les bases de la theorie de la complexite des algorithmes et en derive les theoremes fondamentaux de decidabilite et d'indecidabilite pour la logique et l'arithmetique, dont le premier theoreme d'incompletude de Godel. En faisant reposer toutes les preuves sur le codage de l'arret d'une machine de Turing, on a souligne l'homogeneite et l'unite profonde des resultats presentes. L'approche par les machines de Turing est tres accessible grace a la familiarite donnee aujourd'hui par l'informatique. Le livre n'est pas une encyclopedie exhaustive, mais parvient de facon rapide a demontrer un choix de resultats representatifs de l'ensemble de la theorie.
Synopsis
Cet ouvrage prA(c)sente les bases de la thA(c)orie de la complexitA(c) des algorithmes et en derive les thA(c)orA]mes fondamentaux de dA(c)cidabilitA(c) et d'indA(c)cidabilitA(c) pour la logique et l'arithmA(c)tique, dont le premier thA(c)orA]me d'incomplA(c)tude de GAdel. En faisant reposer toutes les preuves sur le codage de l'arrAat d'une machine de Turing, on a soulignA(c) l'homogA(c)nA(c)itA(c) et l'unitA(c) profonde des rA(c)sultats presentA(c)s. L'approche par les machines de Turing est trA]s accessible grA ce A la familiaritA(c) donnA(c)e aujourd'hui par l'informatique. Le livre n'est pas une encyclopA(c)die exhaustive, mais parvient de faAon rapide A dA(c)montrer un choix de rA(c)sultats rA(c)prA(c)sentatifs de l'ensemble de la thA(c)orie.