Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A
 TIME !!!
Date: Sat, 22 Feb 2025 13:36:53 -0600
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vpd90n$3h9q$2@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vopke4$3v10c$1@dont-email.me>
 <vosn00$jd5m$1@dont-email.me>
 <f9a0a18d52ac35171173e0c60c9062e03343ad68@i2pn2.org>
 <vote0u$nf28$1@dont-email.me>
 <3b8a5f4be53047b2a6c03f9678d0253e137d3c40@i2pn2.org>
 <votn1l$pb7c$1@dont-email.me>
 <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org>
 <votq5o$ppgs$1@dont-email.me> <vouu57$12hqt$3@dont-email.me>
 <vp1jkg$1kstl$1@dont-email.me> <vp1qp1$1m05h$2@dont-email.me>
 <442891e4193f52206ec1b8481f5c2688de58b305@i2pn2.org>
 <vp22fi$1n991$3@dont-email.me> <vp24ev$1namo$1@dont-email.me>
 <vp2dlj$1p9f5$3@dont-email.me> <vp4dbk$27ck7$1@dont-email.me>
 <vp5ta6$2gt2s$2@dont-email.me> <vp6t0k$2orpr$1@dont-email.me>
 <vpb1f6$3jct4$12@dont-email.me> <vpc5mi$3slgq$1@dont-email.me>
 <vpctvj$irt$3@dont-email.me>
 <4cbf8f8ea07805fc9994375bb1bb0b48ddf745ec@i2pn2.org>
 <vpd3ol$irt$11@dont-email.me>
 <ef3ab85bddefe7d22b2362ac4b3a1961760f6812@i2pn2.org>
 <vpd6nm$2q85$4@dont-email.me>
 <09245fbfa2231b1f942d0885c5cd3d372bc2adbe@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Feb 2025 20:36:55 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ca8be6fe870f1363ed4107693d2e892d";
	logging-data="116026"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/odtl/Rep0cLucZLGb8+Ve"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:apjdJ8O3tMvLB1xrWHEJUrmAE1s=
In-Reply-To: <09245fbfa2231b1f942d0885c5cd3d372bc2adbe@i2pn2.org>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250222-4, 2/22/2025), Outbound message
Content-Language: en-US
Bytes: 3710

On 2/22/2025 1:15 PM, joes wrote:
> Am Sat, 22 Feb 2025 12:57:57 -0600 schrieb olcott:
>> On 2/22/2025 12:17 PM, joes wrote:
>>> Am Sat, 22 Feb 2025 12:07:17 -0600 schrieb olcott:
>>>> On 2/22/2025 10:45 AM, joes wrote:
>>>>> Am Sat, 22 Feb 2025 10:28:34 -0600 schrieb olcott:
>>>>>> On 2/22/2025 3:34 AM, Fred. Zwarts wrote:
>>>>>>> Op 22.feb.2025 om 00:15 schreef olcott:
>>>>
>>>>>> Because the code proves that HHH does simulate itself correctly it
>>>>>> is not stupid for HHH to simulate itself. This was the most
>>>>>> difficult aspect of creating the x86utm operating system.
>>>>> No, the code proves that HHH simulates a different version that
>>>>> doesn't abort. See line 1059.
>>>> The code proves that it is correct.
>>>> HHH does correctly recognize and terminate the infinite recursion
>>>> behavior pattern.
>>> No. Simulating a decider never needs to be aborted.
>> You can equally assume that squares are round.
> Lol. Deciders *always* terminate.
> 

In other words a termination analyzer that is
called in an actual infinite loop will terminate
on its own with no action required by the termination
analyzer because the infinite loop knows better than
to challenge the authority of this termination analyzer?

>> you never did tell me whether or not you fully understand what infinite
>> recursion is.
> You wouldn't believe it.
> 


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer