On infinite recursion, SHDs and the halting problem
From Mr Flibble@21:1/5 to All on Tue May 20 18:45:53 2025
Hi!
It is sufficient for an SHD to DETECT infinite recursion without having to SIMULATE it. Indeed this has to be the case given that an SHD, like any decider, must furnish a decision in FINITE time.
This is consistent with Flibble's Law:
If a problem permits infinite behavior in its formulation, it permits
infinite analysis of that behavior in its decidability scope.