Wykłady Ludwiga Wittgensteina o podstawach matematyki

Po powrocie do Cambridge Turing uczęszczał na wykłady prowadzone w 1939 roku przez Ludwiga Wittgensteina na temat podstaw matematyki. Wykłady zostały odtworzone słowo w słowo, włącznie z wtrąceniami Turinga i innych studentów, na podstawie notatek słuchaczy. Turing i Wittgenstein spierali się i nie zgadzali: Turing bronił formalizmu, a Wittgenstein głosił swój pogląd, że matematyka nie odkrywa żadnych absolutnych prawd, lecz je tworzy.

Może zawierać błędy.