Jonathon Keatsによって

1935年、アラン-チューリングは世界をリードする数学者を上回ることによって評判を構築するために着手しました。 チューリングは22歳で、ケンブリッジの新しい仲間でした。 彼の目標、デイビッド-ヒルベルトは、独力で20世紀の数学のための研究課題を設定していたゲッティンゲン大学教授の尊敬されただった。P>

ヒルベルトは英国の新興企業には一致しませんでした。 彼の本Turing’s Visionの中で、Chris Bernhardtは、TuringがHilbertの偉大な野望の1つを巧みな証明で打ち破った方法を巧みに示しています。

チューリングの論文のタイトル、”計算可能な数について、Entscheidungsproblemへの応用”（これは”決定問題”を意味する）は、ほとんど招待されておらず、読むには高度な訓練が必要である。 これは、チューリングの名声が爆発するにつれて、最も人気のある執筆が戦時の暗号解読、人工知能に関する戦後の執筆、または同性愛者で死後の王室の恩赦であることに対する迫害と起訴に焦点を当てた理由を説明するかもしれません。しかし、ベルンハルトの本がドラマに欠けていることは、明快な説明で補っています。

しかし、ベルンハルトの本はドラマに欠けています。 チューリングのビジョンは、慎重な読者がチューリングの名前を作った証拠を感謝し、ボーナスとして、現代のコンピュータの基礎を理解することができます。Enscheidungsproblemは、数学の基本的な公理が論理的に一貫していることを示すためにヒルベルトの仕事の一部でした。

Enscheidungsproblemは、数学の基本的な公理が論理的に一貫して その目的のために、ヒルベルトは、与えられた数学的文がそれらの公理だけから証明できるかどうかを示すアルゴリズム–計算手順–を求めました。 チューリングはそのようなアルゴリズムが存在しないことを決定的に示した。

“チューリングは、すべての数学的問題の解のための規則の機械的なセットがなかったことを証明しました”

それを行うには、Bernhardtは、チューリングは、最初 チューリングは、人間の”コンピュータ”、すなわち計算を行った人々を見ました。 タスクは、紙の上に記号を書くことを含む、と彼は指摘しました。 “コンピュータの動作は、いつでもシンボルによって決定されます…彼が観察していると彼の”心の状態”。”

明らかに複雑なcogitationを単純な算術的手順に分解すると、チューリングは計算を明示的にし、人間の要素を排除しました。 “チューリングの新鮮な洞察は、理論計算機の観点からアルゴリズムを定義することでした”とBernhardt氏は書いています。 「計算できるものはすべて、チューリングマシンで計算できます。”

それが機械がチューリングの論文の中心だった理由です。 チューリングマシンが無期限に実行され、決定的にヒルベルトが間違っていたことを示す方法だったアルゴリズムがあったことを示すために。 チューリングは”アルゴリズムの力を超えた質問があった”ことを証明した。 彼の勝利は壮観であり、（ヒルベルトがしたように）すべての問題が解決できると信じていた人々にとって壊滅的でした。しかし、チューリングの証明に理論的な機械があったように重要な、彼らは現代のコンピュータのための概念モデルを提供し、独自の権利でさらに多くの影 この影響は直接的であり、ジョン-フォン-ノイマンの1945年の電子計算機の先駆的な設計と、彼の建築を適用した部屋の大きさの機械を知らせた。 チューリングの機械のように、コンピュータはプログラムとデータを符号化するために1と0を使用しました。 これは、高レベルの言語やネットワークに不可欠なままであるため、チューリングマシンについて学ぶ際には、読者はコンピュータサイエンスの原則を今日も哲学的な影響があります。

人間の行動に基づいたコンピュータを持って、チューリングは、人々が本当にチューリングマシンであることを指摘しました。 コンピュータは私たちの鏡です：私たちは最新のAIに驚嘆したり身震いしたりするかどうかにかかわらず、私たちは単に自分自身を見ています。