アラン・チューリング

1936年の論文「計算可能数について」で、ヒルベルトの決定問題に決着をつけるため、後に自身の名を冠することになる抽象機械を導入した。答えは「否」。どんなアルゴリズムでも決定できない問いが存在し、停止問題はその一つである。同じ論文はさらに、他のあらゆる機械を模倣できる万能機械を、ほとんど付け足しのように記述している。これがプログラム内蔵方式の原理だ。

戦時中はブレッチリー・パークでエニグマの解読に携わり、1950年には模倣ゲーム、今日のチューリングテストを提唱した。1952年に同性愛を理由に起訴され、ホルモン療法を宣告され、その2年後に青酸中毒で亡くなった。計算機科学で最も権威ある賞には、彼の名が付けられている。