Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD incorrectly emulated by HHH is INCorrectly rejected as
 non-halting V2
Date: Tue, 16 Jul 2024 21:10:48 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <925f3145100f968a4fbbdb073be6b46ab51f4896@i2pn2.org>
References: <v6rg65$32o1o$3@dont-email.me> <v6trdu$3irhh$1@dont-email.me>
 <v6tu01$3imib$11@dont-email.me>
 <a177dd76613794d6bb877c65ffe6c587a8f31bc1@i2pn2.org>
 <v6tvpv$3imib$14@dont-email.me>
 <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org>
 <v6u346$3khl8$1@dont-email.me>
 <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org>
 <v6v06i$3pivt$1@dont-email.me>
 <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org>
 <v6v2t1$3pmjn$3@dont-email.me>
 <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org>
 <v70lmo$61d8$1@dont-email.me>
 <8a6e6d9ff49aabe2525ce5729a439c807de4768a@i2pn2.org>
 <34Ocnd4voeWlDAn7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <v725d7$hlvg$1@dont-email.me>
 <aa7643b6d8c46d2c4dd5ef92ae3650afe114adbb@i2pn2.org>
 <v734ct$mjis$2@dont-email.me>
 <056325e336f81a50f4fb9e60f90934eaac823d22@i2pn2.org>
 <v73gk2$obtd$1@dont-email.me>
 <e2958e7ea04d53590c79b53bfb4bc9dff468772b@i2pn2.org>
 <v742r2$s48s$2@dont-email.me>
 <210383b2ee318f68a96d94aec314ee8b93f79b7f@i2pn2.org>
 <v75u22$19j7l$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 17 Jul 2024 01:10:48 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3536827"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v75u22$19j7l$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3908
Lines: 44

On 7/16/24 9:54 AM, olcott wrote:
> On 7/16/2024 3:23 AM, joes wrote:
>> Am Mon, 15 Jul 2024 16:03:30 -0500 schrieb olcott:
>>> On 7/15/2024 3:58 PM, joes wrote:
>>>> Am Mon, 15 Jul 2024 10:52:34 -0500 schrieb olcott:
>>>>> On 7/15/2024 9:04 AM, joes wrote:
>>>>>> Am Mon, 15 Jul 2024 07:23:57 -0500 schrieb olcott:
>>>>>>> On 7/15/2024 3:59 AM, joes wrote:
>>>>>>>> Am Sun, 14 Jul 2024 22:35:03 -0500 schrieb olcott:
>>>>>>>>> On 7/14/2024 10:02 PM, Mike Terry wrote:
>>>>>>
>>>>>>>>> Any input that must be aborted to prevent the non termination of
>>>>>>>>> simulating termination analyzer HHH necessarily specifies
>>>>>>>>> non-halting behavior or it would never need to be aborted.
>>>>>>>> It's just that the input HHH halts and does not need to be aborted.
>>>>>>> At the point that it is aborted it did need to be aborted
>>>>>> Because it hadn't halted yet?
>>>>> Because HHH has seen a repeating state that proves that DDD correctly
>>>>> emulated by HHH cannot possibly ever stop running unless aborted.
>>>> Which state is it that repeats forever?
>>> *It had never been which state DOES repeat forever*
>>> *It has always been which state WOULD repeat forever if not aborted*
>> Well then, which state of HHH would repeat forever?
>>
> 
> *You still have it wrong*.
> It is not "which state of HHH would repeat forever?"
> It is: Which state of HHH would repeat forever if not aborted?

No, since HHH aborts its simulation, looking at an HHH that doesn't 
isn't looking at HHH, but something else that you are LYING about being HHH.

You are just showing your utter stupidity about what computer programs 
are about. And the fact you refuse to learn says you don't really care 
about truth.

All you are is a pathological liar who is too stupid to understand what 
he has been talking about.

> 
>>> Infinite_Loop() doesn't even repeat forever because it is aborted.
>> By itself it does.
>>
>