Re: Simulating Halt Decider Copyright 2022 Mr Flibble

On 3/1/25 10:40 PM, olcott wrote:

On 3/1/2025 8:33 PM, Mr Flibble wrote:

Hi!
>
I have an idea for a signaling simulating halt decider that forks the
simulation into two branches if the input calls the halt decider as
per [Strachey 1965]'s "Impossible Program":
>

 The signalling aspect that forks is your idea.
 It is established all over the place for
many years that "simulating halt decider" is my idea.
 

Only if you ignore the decades old discussions 0f how simulation can be used to detect certain classes of non-halting behavior. Look up the idea of detecting infinite loops by running two simulators at a 2 steps to 1 step ratio.
I remember that from back when I was in college in the 70s, so not your idea.
All you are doing is proving you don't understand what you are talking about.