I’d say this falls under the Church-Turing thesis.
In his 1985 paper he seems to be arguing that he uniquely extends the Church-Turing thesis.
I’d say this falls under the Church-Turing thesis.
In his 1985 paper he seems to be arguing that he uniquely extends the Church-Turing thesis.