Các bài giảng của Ludwig Wittgenstein về Nền tảng của Toán học

Khi Turing trở lại Cambridge, ông đã tham dự các bài giảng do Ludwig Wittgenstein thực hiện vào năm 1939 về nền tảng của toán học. Các bài giảng đã được tái dựng nguyên văn, bao gồm cả những lời xen ngang từ Turing và các sinh viên khác, từ ghi chép của sinh viên. Turing và Wittgenstein đã tranh luận và bất đồng, với việc Turing bảo vệ chủ nghĩa hình thức và Wittgenstein đưa ra quan điểm của mình rằng toán học không khám phá ra bất kỳ chân lý tuyệt đối nào, mà thay vào đó là phát minh ra chúng.

Có thể chứa lỗi.