reddit

“
Up to now I never wanted to examine Gödel's and Turing's work too
closely—I wanted to develop my own viewpoint. But there is no
longer any danger. So I set out to explain the mathematical essence
of three very different ways to exhibit limits to mathematical
reasoning: the way Gödel and Turing did it in the 1930s, and my
way that I've been working on since the 1960s.
” source...