Oui, le livre contient plusieurs originalités. En particulier, effectivement, une preuve du théorème de Cook, différente de celle partout. Je la trouve perso très élégante. Surtout, dans l’esprit du programme, où les machines de Turing sont sensées être hors programme.