Exercise: show that this approach by Szabo is incompatible with the digital mechanist hypothesis.
It might give some hope, in case Digital Mechanism would be refuted, to save a form of physical-digitalism, speculating on the falsity of Church-Turing thesis. Why not.
I have not finish the paper but I am not sure how this could be tested, except by being consistent is ever the physics inferred get inconsistent with the physics deduced from arithmetical self-reference.
Might say more later. Szabo’s approach is at least rather well presented formally. It assumes an empirical reality though, so his theory is build on the top of the Aristotelian hypothesis.
Bruno