Description
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.
