Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Simulating Halt Decider Copyright 2022 Mr Flibble
Date: Sun, 2 Mar 2025 16:11:12 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <13c343f9d09630e698f18189471f14c80529b9df@i2pn2.org>
References: <0qg7sjlnvataaqrgv0207nednemnqpubqu@4ax.com>
 <vq0jvg$gksp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 2 Mar 2025 21:11:12 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2552192"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vq0jvg$gksp$1@dont-email.me>
Bytes: 1814
Lines: 23

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.