持ち、本を読んだり調べたりしたので、簡単にまとめ
てみました。
数学者であるチューリング
完全ともくされていた数学に「明らかに矛盾が存在する」
と鋭く指摘したゲーデルの不完全性定理、よく「嘘つき
のパラドックス」がたとえ話として出てきます。
一方、計算機分野の不完全性定理を導いたとといわ
いたのがイギリスの数学者、アラン・チューリングでした。
チューリングマシン
コンピューターの２大原理に、ノイマン型とチューリ
ング型が存在しています。
ノイマン型は現代実用化されているモデルですが、チュ
ーリング型は概念のみで、構造は「テープ」と「ヘッダ」と
「メモリー」しかありまりません。これですべての計算を
可能にしているといわれています。
この仮想機械チューリングマシンによりはじめて「アル
ゴリズム」と「計算」の概念を定式化したといわれました。
それゆえ、
計算機科学と人工知能の父といわれています。
暗号解読
第２次世界短戦中、ドイツの暗号機「エグニマ」の解析
を「群論」と「統計的手法」により行い、解読に成功。
ドイツのＵボート攻撃から、多くのイギリスの人命を
救いました。
チューリング賞
計算機科学のノーベル賞とも言われ、この分野で最
も権威のある賞として毎年コンピュータ科学で活躍
している人々に授与されています。