Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Fri, 9 May 2025 14:29:43 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <cd4cc99a86b4328bc3c189f14fe1a97758568bb3@i2pn2.org>
References: <vv97ft$3fg66$1@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>
 <vvl8hg$2rl0l$12@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 9 May 2025 18:34:38 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3837174"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vvl8hg$2rl0l$12@dont-email.me>
Content-Language: en-US

On 5/9/25 11:55 AM, olcott wrote:
> 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”.
> 

No, I am giving you the opertunity to correct the errors in your statements.

I guess you are just so stuck in your lies that you have given up any 
hope of actually being able to prove anything, and are content with just 
leetting the whole world see you are an utter luntic and an ingornat 
pathological lying idiot that just doens't care what is actually true.

Your world is just a world of make-believe where you just trust that the 
magical Truth Fairy can make you fantasies real.

Maybe we should contact the athorities and see if you can be committed 
to a faciltiy as mentally unsound.