Speranza
When Turing returned to Cambridge, he attended lectures given in 1939 by Witters about the foundations of mathematics.
Remarkably, the lectures have been reconstructed verbatim, including interjections from Turing and other students, from students' notes.
Turing and Wittgenstein argued and disagreed, with Turing defending formalism and Wittgenstein propounding his view that mathematics does not discover any absolute truths but rather invents them.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment