Hacker News Reader

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.