チューリング——コンピュータ科学の父

本書ではチューリングが数学的証明として構想したこのモデルが、後の実際のコンピュータ設計にどうつながったかを、思考の飛躍として描く。抽象と実装の橋渡しとして本書の中心的テーマ。

ホッジスはこのテストを「機械は考えられるか」という哲学的問いへのチューリングの答えとして位置づける。彼の同性愛的アイデンティティと「仮面をかぶること」の経験が、このテスト構造に影を落としているという解釈も示される。

本書では、チューリングとチャーチが独立に同じ結論に到達したことが描かれ、計算概念の普遍性という哲学的含意が強調される。「何が計算できて何が計算できないか」という問いの根拠として機能する。

本書全体を貫くテーマの一つ。チューリングが「計算するとはどういうことか」を厳密に定義しようとした動機と過程が伝記的文脈で語られ、この概念が数学の危機（ヒルベルト計画の崩壊）への応答として生まれたことが示される。

本書ではチューリングが「思考する機械」を真剣に論じた最初期の科学者として描かれる。彼の楽観的な予測と、当時の懐疑的な反応の対比が丹念に記述され、現代AIへの思想的系譜が示される。

本書では普遍チューリングマシンの概念が、ハードウェアとソフトウェアの分離という現代コンピュータの根本原理の原型として描かれる。「プログラムを記述するコンピュータ」という発想の最初の形式化として強調される。

本書の重要な章を占める。チューリングがエニグマ暗号機解読のためにボンベ（bombe）を設計し、戦争の帰趨に影響を与えた事実が詳述される。この実践が抽象的な計算理論と現実世界の橋渡しとなった転換点として描かれる。

ホッジスはこの証明を、チューリングの最初の偉大な発見として詳述する。数学的直観と厳密な証明が融合した瞬間として描かれ、ヒルベルトの決定問題（Entscheidungsproblem）への否定的回答として位置づけられる。

本書ではチューリング少年が「すべての数学は機械的に解けるのか」という問いに魅了された経緯として描かれ、チューリングマシンの発明がこの問いへの直接の回答として生まれたことが強調される。

本書ではチューリングとフォン・ノイマンの知的関係が検証される。普遍チューリングマシンの概念が実装へ移行する過程で、ACE（自動計算エンジン）設計においてチューリングがこのアーキテクチャに独自に到達していたことが示される。

本書終盤で、チューリングの最後の知的情熱として描かれる。コンピュータ科学の枠を超えて生命現象を数理で記述しようとした試みとして、彼の知性の広がりと「計算」概念の拡張可能性を示す証左となっている。

本書ではブール代数がチューリングの計算理論を実際の電子回路へ橋渡しする数学として登場する。チューリングが理論を実装に落とし込む際の道具として機能し、論理と物理の接続点として描かれる。