루트비히 비트겐슈타인의 수학 기초 강의

튜링이 케임브리지로 돌아왔을 때, 그는 1939년 루트비히 비트겐슈타인이 수학의 기초에 관해 진행한 강의를 들었습니다. 이 강의들은 튜링과 다른 학생들의 추임새를 포함하여 학생들의 필기를 바탕으로 그대로 재구성되었습니다. 튜링과 비트겐슈타인은 논쟁하며 의견을 달리했는데, 튜링은 형식주의를 옹호했고 비트겐슈타인은 수학이 절대적인 진리를 발견하는 것이 아니라 오히려 그것을 발명한다는 자신의 견해를 주장했습니다.

오류가 있을 수 있습니다.