私たちには少し先までしか見えない。だが、そこにやるべきことがたくさんあるのは見える。
— アラン・チューリング「計算する機械と知性」(1950)
アラン・チューリング(1912–1954)は、計算機が存在する前に計算機を発明した。1936 年、論理学の問いに答えるために、彼はテープの上で記号を読み書きする紙の上の機械を考え、規則に従って人間が行えるどんな計算もこの機械が行えることを示した。同じ論文で、そのような機械にはけっして答えられない問いがあることも証明した。
第二次世界大戦中にはブレッチリー・パークで、ドイツ海軍の暗号機エニグマの解読に力を尽くした。戦後は最初期の電子計算機の一つを設計し、機械は考えることができるかと問い、形のない胚がどのように縞や斑点を身につけるかを方程式で説明した。同性愛を理由に有罪とされた二年後、41 歳で亡くなった。
このコースでは、チューリングの生涯をたどり、計算を目に見える形で示しながら、彼の八つのアイデアをたどり直す。
どんな人物か
アラン・マシスン・チューリング
- 生年月日
- 1912 年 6 月 23 日、ロンドン
- 没年月日
- 1954 年 6 月 7 日、イングランド、ウィルムズロー
- 出身
- イギリス
- 研究分野
- 論理学、計算、暗号解読、確率、数理生物学
読む順序
伝記
発見と証明
- チューリング機械:鉛筆とテープと規則で計算する
- 停止問題:どの機械にも答えられない問い
- 計算可能数:ほとんどの数は計算できない
- 万能機械:プログラムもデータである
- エニグマ:1.59×10²⁰ 通りの鍵と一つの欠陥
- バンブリスムス:証拠をデシバンで量る
- 模倣ゲーム:機械は考えることができるか
- 形態形成:ヒョウの斑点を方程式で