アラン・チューリング
Jack Copeland, ed. “The Mind and the Computing Machine: Alan Turing and others”. The Rutherford Journal. http://www.rutherfordjournal.org/article010111.html.
Hodges, Andrew (27 August 2007). "Alan Turing". In Edward N. Zalta (ed.). Stanford Encyclopedia of Philosophy (Winter 2009 ed.). Stanford University. 2011年1月10日閲覧。
Gray, Paul (29 March 1999). “Computer Scientist: Alan Turing”. TIME. http://www.time.com/time/magazine/article/0,9171,990624,00.
(2)どんなチューリングマシンの動作をも、現代の言葉で言えば「エミュレート」できる、「万能チューリングマシン」が可能であることを証明し、その構成法を示した。(注意: この(1)と(2)が表現していることを曖昧に理解しないように注意すること。「テーゼ」は証明ではない(証明できるような性質のものではない)。しばしば、万能チューリングマシンによりあらゆる計算が可能であることを証明した、というような誤解が見受けられる。)(3)「万能チューリングマシン」の概念を利用して、停止性問題を否定的に証明した(これはゲーデルの不完全性定理と同等の結果とも言えるものである。詳細は停止性問題の記事を参照)。
1936年9月から1938年7月にかけて、プリンストン大学においてアロンゾ・チャーチ(前述の「チャーチ=チューリングのテーゼ」のチャーチである)に師事した。1938年、プリンストンで博士号を得た。博士論文では、数の広がり(正の整数→負数→無理数→虚数)とその公理体系の進化に関して、それらすべてを包含する「順序数」という概念の体系を整理しようとした。その中で、チューリング還元の概念を提案している。純粋数学とは別に暗号理論もここで学び、電気機械式乗算器も試作している。また、この時期、ジョン・フォン・ノイマンも同じくプリンストンにおり、二人は親交があったと言われている。ノイマンは、チューリングにアメリカに残ることを勧めたという。
1939年にケンブリッジに戻ると、ウィトゲンシュタインとの講義に参加した。そこでは、ウィトゲンシュタインが「数学は絶対的真実を発見するのではなく、発明している」という立場を取ったのに対して、チューリングは形式主義を擁護する立場を取った。
生涯と業績に関する催しが英国論理学会議と英国数学史学会主催で2004年6月5日にマンチェスター大学で行われた。
エディンバラ大学情報学科には 'Turing Room' と呼ばれる部屋があり、エドゥアルド・パオロッツィ作の胸像がある。
サリー大学の主広場には銅像がある。
Istanbul Bilgi University では計算理論の会議が毎年開催されており、その期間を "Turing Days" と呼んでいる。
マンチェスター大学、オープン大学、オックスフォード・ブルックス大学、オーフス大学(デンマークオーフス)には、それぞれチューリングの名を冠した建物がある。
オレゴン大学計算機科学科の建物のそばにはチューリングの胸像がある。
スイス連邦工科大学ローザンヌ校にはチューリングの名を冠した道路と広場(Chemin de Alan Turing と Place de Alan Turing)がある。