アラン・マシスン・チューリング（Alan Mathison Turing、1912–1954）は、計算可能性の理論、第二次世界大戦期の暗号解読、初期の電子計算機、人工知能をめぐる研究で知られるイギリスの数学者です。その歩みはケンブリッジ大学キングズ・カレッジのデジタル・アーカイブと同大学の史料展示からたどれます。
いまの生成AIを考えるときも彼の名前は登場しますが、1950年の原論文にある問いと、後世の「AIは人間になる」という期待や恐れは同じではありません。この人物ガイドは、理論・暗号・計算機・知能の研究を分けながら、本人の言葉の出典へ案内します。
計算できるとはどういうことか――1936年の研究
チューリングはケンブリッジで数学を学び、1936年に計算可能な問題の範囲を考える論文をまとめました。ここで提案した抽象的な計算モデルは、のちに「チューリング機械」と呼ばれます。これは当時どこかにあった特定の大型コンピューターではなく、一定の規則に従う計算を理論的に考えるためのモデルです。
キングズ・カレッジ所蔵史料の人物解説によれば、1930年代の数学研究から、戦後の計算機開発につながる道筋が見られます。機械が何を計算できるかという問題と、人間の思考を機械で模倣できるかという問題は関係していますが、同じ問いではありません。
エニグマ暗号解読――一人の英雄の物語にしない
第二次世界大戦中、チューリングはブレッチリー・パークで英国の暗号解読活動に参加し、ドイツのエニグマ暗号に対する研究で重要な役割を果たしました。英国GCHQの公式人物解説は、海軍エニグマを扱うチームや、解読を支援する機械「Bombe」に関する仕事を説明しています。
ここには他の研究者、数学者、言語・情報の専門家、ポーランド側から伝えられた先行成果など、複数の人々の貢献があります。チューリングの功績を評価することと、暗号解読を一人の発明として説明することは別です。戦争機密だったため当時広く知られなかった仕事と、後年公開された記録も区別する必要があります。
戦後の計算機開発と1950年の知能論
戦後は英国国立物理研究所やマンチェスター大学で計算機に関わる仕事を進めました。1950年には学術誌『Mind』第59巻第236号に、論文『Computing Machinery and Intelligence』を発表します。Oxford Academicの原論文掲載情報は、論文の著者・巻号・ページを確認できる重要な入口です。
有名な「機械は考えることができるか」という問いを提示した後、チューリングは「機械」や「考える」という語の定義だけで結論を決めず、模倣ゲームという別の問いを検討しました。現代のAIサービスの出来不出来を、1950年の論文だけで決められるわけではありません。「機械は考えることができるか」の原典解説で論文の趣旨を詳しく読めます。
「少し先しか見通せない」――論文の結び
同じ1950年論文の結びには、遠い未来の見通しは限られていても、目の前には取り組むべき課題が多いという趣旨の一節があります。「少し先しか見通せないが、やるべきことは多い」の出典記事は、この文を原論文の末尾に戻して読みます。
この一節は、「いずれ機械が必ず人間を超える」という予言ではありません。分からないことを不確かなまま認め、検討できる問題に取り組むという研究の姿勢として読むことができます。ただし、これは論文の文脈に基づく解釈であり、彼が現代の生成AIを評価した発言ではありません。
晩年の研究と、社会が彼に与えた不利益
チューリングは生物の形が生まれる仕組みを数理的に考える形態形成の研究にも取り組みました。一方、1952年には当時の英国法によって同性間の関係を理由に起訴され、化学的な治療を伴う処分を受けました。GCHQの解説は、この差別的な処遇にも言及しています。1954年に亡くなりました。
彼を「AIの父」と呼ぶ紹介だけでは、理論家、暗号解読者、計算機の開発者としての多様な仕事と、社会制度の不公正さが見えなくなります。功績を美談に整えすぎず、何が資料で確かめられるのかを残すことが、人物を読むうえで重要です。
主な資料と関連ページ
生涯・論文・所蔵文書はThe Turing Digital Archive、暗号解読の経緯はGCHQ「Alan Turing」、1950年の原著は『Mind』第59巻第236号を参照。機械と知能の歴史を比較するなら、エイダ・ラブレス「解析機関は自ら何も創造しない」の原典記事も関連します。両者を同じ主張にまとめるのではなく、違う時代の問いとして読み比べてください。
計算機をめぐる議論の変化を人物でたどるなら、エイダ・ラブレスが1843年の解析機関の構想と限界をどう表現したか、そしてマーガレット・ハミルトンがアポロ計画で信頼性の高い機上ソフトウェアをどう実現したかを比較できます。機械の可能性、計算可能性の理論、実際のシステム開発は同じ課題ではありません。それぞれの言葉を原典に戻して読み分けてください。
別の人物や思想を探す場合は人物索引へ戻れます。