Comment by theGnuMe

I may be wrong but it appears that he rediscovers the Church-Turing thesis in this work.