Palestras de Ludwig Wittgenstein sobre os fundamentos da matemática

Quando Turing retornou a Cambridge, ele assistiu a palestras ministradas em 1939 por Ludwig Wittgenstein sobre os fundamentos da matemática. As palestras foram reconstruídas palavra por palavra, incluindo interjeições de Turing e outros alunos, a partir das anotações dos estudantes. Turing e Wittgenstein discutiram e discordaram, com Turing defendendo o formalismo e Wittgenstein propondo sua visão de que a matemática não descobre verdades absolutas, mas sim as inventa.

Pode conter erros.