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 ---USPTO
 Incorporation by reference
Date: Fri, 21 Feb 2025 16:40:32 -0600
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <vpavd0$3jct4$3@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <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>
 <vp46l6$26r1n$1@dont-email.me> <vp5t55$2gt2s$1@dont-email.me>
 <vp6pmb$2opvi$1@dont-email.me> <vp8700$30tdq$1@dont-email.me>
 <vp8att$1cec$1@news.muc.de> <vp8h5n$32ifn$1@dont-email.me>
 <vp9gj7$3ap15$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 21 Feb 2025 23:40:33 +0100 (CET)
Injection-Info: dont-email.me; posting-host="aa4b2c315dd69f41fbbb67fd39ea6537";
	logging-data="3781540"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18DN/fk5aBiUNO7S+lyCQz4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pZKy7mflypsHjU/Wr7i+8ufJTTk=
In-Reply-To: <vp9gj7$3ap15$1@dont-email.me>
X-Antivirus: Norton (VPS 250221-6, 2/21/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 3214

On 2/21/2025 3:21 AM, Fred. Zwarts wrote:
> Op 21.feb.2025 om 01:25 schreef olcott:
>> On 2/20/2025 4:38 PM, Alan Mackenzie wrote:
>>> olcott <polcott333@gmail.com> wrote:
>>>> On 2/20/2025 2:38 AM, Mikko wrote:
>>>>> On 2025-02-20 00:31:33 +0000, olcott said:
>>>
>>> [ .... ]
>>>
>>>>>> I have given everyone here all of the complete source code for a few
>>>>>> years
>>>
>>>>> True but irrelevant. OP did not specify that HHH means that particular
>>>>> code.
>>>
>>>
>>>> Every post that I have been talking about for two or
>>>> more years has referred to variations of that same code.
>>>
>>> Yes.  It would be a relief if you could move on to posting something new
>>> and fresh.
>>>
>>
>> As soon as people fully address rather than endlessly dodge
>> my key points I will be done.
>>
>> Let's start with a root point.
>> All of the other points validate this root point.
>>
>> *Simulating termination analyzer HHH correctly determines*
>> *the non-halt status of DD*
>>
> It could be correct if this status was interpreted as the not-yet-halted 
> status, because it aborts the simulation and in that way misses the 
> halting behaviour of the input. HHH can only report wat it sees, not 
> what it does not see.

Unless the C function HHH aborts its simulation of the C
function DD this DD C function DOES NOT TERMINATE.


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