Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Everyone on this forum besides Keith has been a damned liar about
 this point
Date: Wed, 11 Jun 2025 14:42:36 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <cda8cdbea5e056c8ea6fee4a6934572685512d19@i2pn2.org>
References: <1025i6j$afk6$1@dont-email.me>
	<b6221b91da87b035b8621079cee4cf6a4dc4abe6@i2pn2.org>
	<1026s46$j3rp$4@dont-email.me> <10296qc$17rpl$1@dont-email.me>
	<1029le9$1ah2f$7@dont-email.me> <102bep1$1sc5m$1@dont-email.me>
	<102c2qk$20jl4$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 11 Jun 2025 14:42:36 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="45607"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

Am Wed, 11 Jun 2025 09:11:32 -0500 schrieb olcott:
> On 6/11/2025 3:29 AM, Mikko wrote:
>> On 2025-06-10 16:10:49 +0000, olcott said:
>>> On 6/10/2025 7:01 AM, Mikko wrote:
>>>> On 2025-06-09 14:46:30 +0000, olcott said:
>>>>> On 6/9/2025 6:24 AM, Richard Damon wrote:
>>>>>> On 6/8/25 10:50 PM, olcott wrote:

>>>>>>> The *input* to simulating termination analyzer HHH(DDD)
>>>>>>> specifies recursive simulation that can never reach its *simulated
>>>>>>> "return" instruction final halt state*
>>>>>>
>>>>>> So, you think a partial simulation defines behavior?
>>>>>>
>>>>>> Where do you get that LIE from?

That is what HHH does.

>>>>> I am no so stupid that I require a complete simulation of a
>>>>> non-terminating input.
>>>>
>>>> Yes you are. You just express your stupidity in another way.
>>>>
>>> It only takes two simulations of DDD by HHH for HHH to correctly
>>> recognize a non-halting behavior pattern.
>> 
>> Either the pattern or the recognition is incorrect.
> 
> DDD correctly simulated by HHH cannot possibly reach its own "return"
> statement final halt state. This by itself *is* complete proof that the
> input to HHH(DDD) specifies non-halting behavior.

It is also proof that HHH doesn't terminate.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.