Ludwig Wittgensteins Vorlesungen über die Grundlagen der Mathematik

Als Turing nach Cambridge zurückkehrte, besuchte er 1939 Vorlesungen von Ludwig Wittgenstein über die Grundlagen der Mathematik. Die Vorlesungen wurden anhand von Studentennotizen wortgetreu rekonstruiert, einschließlich der Zwischenrufe von Turing und anderen Studenten. Turing und Wittgenstein stritten sich und waren uneins, wobei Turing den Formalismus verteidigte und Wittgenstein seine Ansicht vertrat, dass die Mathematik keine absoluten Wahrheiten entdecke, sondern sie erfinde.

Kann Fehler enthalten.