Path: ...!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: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Fri, 9 May 2025 10:55:28 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vvl8hg$2rl0l$12@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me> <vvgcme$15e69$9@dont-email.me>
 <vvgjdo$18i6e$2@dont-email.me> <vvgkao$18q46$1@dont-email.me>
 <vvgkd7$15i5e$23@dont-email.me> <vvgkum$18q46$3@dont-email.me>
 <vvgleo$15i5e$24@dont-email.me> <vvgov4$1a47o$2@dont-email.me>
 <vvgp8b$15i5e$25@dont-email.me> <vvgpk6$1a47o$4@dont-email.me>
 <vvgpo7$15i5e$26@dont-email.me> <vvgq6o$1acph$1@dont-email.me>
 <vvgqgl$15i5e$27@dont-email.me> <vvgr22$1ag3a$2@dont-email.me>
 <vvgt36$1auqp$2@dont-email.me> <vvgtbe$1b0li$1@dont-email.me>
 <vvguot$1auqp$3@dont-email.me> <vvh0t2$1b939$1@dont-email.me>
 <vvhap5$1hp80$1@dont-email.me> <vvhf20$1ihs9$1@dont-email.me>
 <vvhfnd$1hvei$3@dont-email.me> <vvil99$1ugd5$1@dont-email.me>
 <vvinvp$1vglb$1@dont-email.me> <vviv75$222r6$1@dont-email.me>
 <vvj1fp$22a62$1@dont-email.me> <vvj2j6$23gk7$1@dont-email.me>
 <vvj8ev$25s8h$1@dont-email.me> <vvja9j$264u5$2@dont-email.me>
 <vvjan5$26heg$1@dont-email.me>
 <6228e8821a203853e0f9e752b276177146d86d21@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 09 May 2025 17:55:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b8226b0a928845ead4a9adb4b3b34c7d";
	logging-data="3003413"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19QmYXzT2NMJlwXCPowI963"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tolT5RrYzW+UbvA7iF0Z8uuMnLI=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <6228e8821a203853e0f9e752b276177146d86d21@i2pn2.org>
X-Antivirus: Norton (VPS 250509-2, 5/9/2025), Outbound message
Bytes: 3826

On 5/9/2025 6:25 AM, Richard Damon wrote:
> On 5/8/25 6:20 PM, olcott wrote:
>> On 5/8/2025 5:13 PM, Richard Heathfield wrote:
>>> On 08/05/2025 22:41, olcott wrote:
>>>> What my code actually does is totally irrelevant.
>>>
>>> On that, at least, we can agree.
>>>
>>
>> That an HHH can be created that does correctly
>> determine the halt status of this input is the
>> whole point.
>>
>> int DD()
>> {
>>    int Halt_Status = HHH(DD);
>>    if (Halt_Status)
>>      HERE: goto HERE;
>>    return Halt_Status;
>> }
>>
> 
> Except that it doesn't, as your "input", being just that function, 
> doesn't HAVE a halting status. It only gets that once it is paired with 
> a specific version of HHH.
> 
> If that HHH aborts its simulation and returns 0, then it halts, and that 
> HHH wasn't a correct halt decider.
> 
> Since you claim that is what you HHH does, and that would be the DD that 
> it is given, it is thus clear that when we fix your input to be what you 
> intend, your claim is false.
> 
> That you keep making your "clearly false due to the category error in 
> it" claim just shows your stupidity.
> 
> You just don't understand the basic meaning of the terms you use, 
> because you decided it would be better to be ignorant, then to know you 
> are wrong.

You try to get away with changing the subject from this:

void DDD()
{
   HHH(DDD);
   return;
}

When 1 or more statements of DDD are correctly
simulated by HHH then this correctly simulated
DDD cannot possibly reach its own “return statement”.

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