He was a real mathematician except that he only learned one little bit of mathematics and then didn’t learn any more. He was no practical organizer and, well, if you had Turing around in the place you wouldn’t get it
Gödel’s Lost Letter
Gödel’s perspective in this letter is a refutation of the simplistic take on Turing’s proof seen so often in the computer science literature. In particular: After all, one would simply have to choose the natural number n so large that