Las conferencias de Ludwig Wittgenstein sobre los fundamentos de las matemáticas

Cuando Turing regresó a Cambridge, asistió a las conferencias impartidas en 1939 por Ludwig Wittgenstein sobre los fundamentos de las matemáticas. Las conferencias han sido reconstruidas palabra por palabra, incluyendo las intervenciones de Turing y otros estudiantes, a partir de las notas de los alumnos. Turing y Wittgenstein discutieron y discreparon, con Turing defendiendo el formalismo y Wittgenstein exponiendo su opinión de que las matemáticas no descubren verdades absolutas, sino que las inventan.

Puede contener errores.