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
Read moreGö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:
Read more