Conférences de Ludwig Wittgenstein sur les fondements des mathématiques

Lorsque Turing est retourné à Cambridge, il a assisté aux conférences données en 1939 par Ludwig Wittgenstein sur les fondements des mathématiques. Les conférences ont été reconstituées mot pour mot, y compris les interventions de Turing et d'autres étudiants, à partir des notes des étudiants. Turing et Wittgenstein ont débattu et étaient en désaccord, Turing défendant le formalisme et Wittgenstein exposant son point de vue selon lequel les mathématiques ne découvrent aucune vérité absolue, mais les inventent plutôt.

Peut contenir des erreurs.