ルートヴィヒ・ウィトゲンシュタインの数学の基礎に関する講義

ケンブリッジに戻ったチューリングは、1939年に行われたルートヴィヒ・ウィトゲンシュタインによる数学の基礎に関する講義に出席しました。この講義は、学生のノートから、チューリングや他の学生の介入を含めて逐語的に再現されています。チューリングとウィトゲンシュタインは議論し対立しました。チューリングは形式主義を擁護し、ウィトゲンシュタインは「数学は絶対的な真理を発見するのではなく、むしろそれを発明するものである」という自身の見解を主張しました。

誤りが含まれる可能性があります。