チューリングの功績 | 大学教員のつぶやき

医院の待合室で眺めていた週刊新潮の随筆欄で、数学者の藤原正彦氏がチューリングのことを紹介しているのを見かけた。 私は大学の授業では、ノイマン、チューリング、シャノンは、現在のコンピュータと情報社会を作り上げた偉大なる3人だと、聞きかじりの知識で学生たちに話をしている。 シャノンの功績については、先日、ブログに書いてみたのだが、 http://sakuraimac.exblog.jp/17779657/ 今回は藤原氏の随筆に刺激されてチューリングについてちょっと調べてみたので、彼の功績を記してみたい。 アラン・チューリングは、チューリングマシンと呼ばれる、コンピュータの概念を提唱した最初の科学者として評価されている。その名を冠したチューリング賞は、コンピュータ科学の分野ではノーベル賞に匹敵するものとして尊重されている。 チューリングの最初の論文は、ゲーデルの不完全性定理を別の面から証明した数

[takuwz]

“チューリングの最初の論文は、ゲーデルの不完全性定理を別の面から証明した数学の論文であった。そこで提示された、チューリングマシンの概念が、論理学を機械の形で表現したもの、すなわちコンピュータのコンセプ