The author doesn&#x27;t seem to be very familiar with the Church side of the Church-Turing thesis. That is where the &quot;limits of computation&quot; notion comes from.<p>&quot;All total functions are recursively enumerable&quot;