あらすじ
本書は、コンピュータの原理としてのチューリング･マシンを解説するとともに、決定問題を解決した有名な｢チューリング･マシンの停止問題｣も分かりやすく説明します。さらに計算量と、7大難問の一つ｢P=NP問題｣についても、わかりやすく解説します。(ブルーバックス･2014年2月刊)※この商品は紙の書籍のページを画像にした電子書籍です。文字だけを拡大することはできませんので、タブレットサイズの端末での閲読を推奨します。また、文字列のハイライトや検索、辞書の参照、引用などの機能も使用できません。
...続きを読む感情タグBEST3
Posted by ブクログ
予備知識ゼロでも理解できるように書いてあるチューリングマシンのすごく丁寧な入門書。
チューリングは抽象的なモデルを組み立てることで決定問題を解いた。つまり、決定問題を解くという目的のために「チューリングマシン」を作り出したわけですね。それはゲーデルのゲーデル文と同じように画期的なアイデアで、結果、決定問題のために作ったこのアイデアが、後にコンピュータを生み出すことになった。出来すぎです。
数学者がこういう抽象的な概念を創造するっていうところがたまりません。
あらためて思うのは、チューリングマシンの考案にはヒルベルトの貢献も非常に重要だったという事ですね。なんだよ、問題出しただけじゃねーかとか思っていたけど、ヒルベルトが課題を浮き彫りにしたからこそゲーデルやチューリングが生まれたわけですから。後から見れば課題を見つけ出すってことの究極版だったわけですね。
ヒルベルトは数学世界の理想のためにこれらの問題を出した。その卓越した洞察力もさることながら、すごく人間味溢れる視野ですよね。
はぁ、天才たちの足跡はどれもたまらないですね。
チューリングマシンのエッセンスに触れられる本書、面白かったです。
