「ウィトゲンシュタインの講義数学の基礎篇」というウィトの講義録にチューリングが参加して討論してるんだっけか
俺はまだ読んでないけど