アラン・チューリング

アラン・チューリングは1931年にケンブリッジ大学キングス・カレッジに入学し、1935年には中心極限定理を(既知とは知らずに独自に)証明した業績でフェローに選ばれた。1936年、論文「計算可能数について、その決定問題への応用」を発表し、有限個の規則表に従ってテープ上に記号を読み書きする抽象的な装置――今日チューリングマシンと呼ばれるもの――を導入した。彼はこれを用いて、任意の一階述語論理の命題が論理的に妥当かどうか(同値に、健全かつ完全な形式体系で証明可能かどうか)を決定するアルゴリズムは存在しないことを証明し、ヒルベルトの決定問題に否定的な解答を与えるとともに、「計算」という概念の初めての厳密かつ機械に依存しない定義を与えた。

プリンストンでアロンゾ・チャーチの指導のもと博士課程を終えた後、チューリングは英国に戻り、1939年からブレッチリー・パークの政府暗号学校で働いた。そこで彼はドイツのエニグマ暗号解読の中心人物となり、ドイツ空軍、後には海軍のエニグマ通信を解読するための電気機械式装置「ボンブ」の設計に携わった――この仕事は戦争を短縮させたが、数十年にわたり秘密にされた。

所属先: ケンブリッジ大学キングス・カレッジ, ブレッチリー・パークの政府暗号学校, マンチェスター大学

イギリス

業績（図書館ページへのリンク）