コンピュータのもととなると言われるチューリングマシンなど、

チューリングの理論を簡単に解説した本。

 

実際にはコンピュータによる計算とはあまり関係ありません。機械的手法による計算という共通点はありますが、どちらかというと数学の世界の話です。といってもこの本には数式はあまり出てきませんが。

 

また、チューリングの計算可能性だけだとあまり現代への応用範囲がないせいなのか、暗号化に使われるNP問題などの話もでてきます。

 

全体的に適度にわかりやすいところだけつまんでうまくまとめた本ですね。