He claims it often. Yes, it was Turing, mostly based on previous work.
The worst part is that he misses the detail it being possible to describe all of Math as computation (so they are perfectly equivalent) and creates entire books with keen observations of how much of Math one can describe as computers.
The worst part is that he misses the detail it being possible to describe all of Math as computation (so they are perfectly equivalent) and creates entire books with keen observations of how much of Math one can describe as computers.