Wittgenstein gave some lectures on mathematics and logic, where Alan Turing was present and they had discussions about mathematics (a book is available with the lectures on mathematics). That was 3 years after on Turing's paper on computable numbers.
Yeah, and Wittgenstein owns him if I remember correctly. Reading their conversations is like watching Frazier and Ali, absolute brilliance. I particularly remember one exchange where Turing argues that a solution to a chess problem could not be considered a mathematical proof, and W takes him down.
I am reading "Enigma" the book, that the recent Turing movie was made from. I am exactly at the point where Alan is taking classes with Witgenstein. Hehehe :-)
Comments
Wittgenstein gave some lectures on mathematics and logic, where Alan Turing was present and they had discussions about mathematics (a book is available with the lectures on mathematics). That was 3 years after on Turing's paper on computable numbers.
Yeah, and Wittgenstein owns him if I remember correctly. Reading their conversations is like watching Frazier and Ali, absolute brilliance. I particularly remember one exchange where Turing argues that a solution to a chess problem could not be considered a mathematical proof, and W takes him down.
I am reading "Enigma" the book, that the recent Turing movie was made from. I am exactly at the point where Alan is taking classes with Witgenstein. Hehehe :-)
Lectures on the Foundations of Mathematics is the published title. There are some pretty amusing exchanges between W. and Turing in that book.