Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion

On 2025-05-20 19:10:36 +0000, Mr Flibble said:

Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion
=========================================================================
 Overview:
---------
Flibble distinguishes between detecting infinite recursion and simulating
it. His argument is that a Simulating Halt Decider (SHD) does not need to
perform unbounded execution to reach a decision—it only needs to *detect*
unbounded behavior structurally. This refinement aligns with the demands
placed on any decider: that it halt in finite time.

You could also add that an SHD needes not simulate at all if the
detection can be made before that. It can be called "simulating"
if it simuates in some cases.
--
Mikko