Path: ...!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT ---
 Ignoramus !!!
Date: Wed, 16 Apr 2025 18:36:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <9fbe3442c74e8a7b68d330832d22c2488797c9cc@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me> <vt6lmk$1djk6$1@dont-email.me>
 <vt7tj4$2iso2$1@dont-email.me> <vt9j0j$1snb$2@dont-email.me>
 <vtai1c$11kqr$1@dont-email.me> <vtajkf$10asg$2@dont-email.me>
 <vtbe3g$1vs00$1@dont-email.me>
 <852f89c9196e0261b8156050fea4572fe886933f@i2pn2.org>
 <vth52t$3in23$9@dont-email.me> <vth557$3a127$7@dont-email.me>
 <vth8lr$3n2du$2@dont-email.me>
 <a8ab995b650b894cbfb635478f7406c4eee4d187@i2pn2.org>
 <vthqtc$5g2e$2@dont-email.me>
 <63af93cb608258cc3e12b9bab3a2efa0b7ee7eee@i2pn2.org>
 <vtit6a$15e5s$3@dont-email.me> <vtivmo$19aqd$1@dont-email.me>
 <vtkc4l$2h48g$3@dont-email.me> <vtkdnm$2iqu5$1@dont-email.me>
 <vtkkge$2si58$2@dont-email.me> <vtl56j$3aajg$1@dont-email.me>
 <vtlu0a$3vgp0$1@dont-email.me> <vtm04f$2a90$1@dont-email.me>
 <vtm9q8$aut7$1@dont-email.me> <vtmah8$2a90$2@dont-email.me>
 <vtmgen$gs48$1@dont-email.me> <vtmh1n$2a90$3@dont-email.me>
 <vto4vh$23i07$1@dont-email.me> <vto7qu$267in$1@dont-email.me>
 <vtopqv$2meit$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 16 Apr 2025 22:39:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="653609"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vtopqv$2meit$1@dont-email.me>
Bytes: 4537
Lines: 67

On 4/16/25 1:36 PM, olcott wrote:
> On 4/16/2025 7:29 AM, Richard Heathfield wrote:
>> On 16/04/2025 12:40, olcott wrote:
>>> sum(3,2) IS NOT THE SAME AS sum(5,2).
>>> IT IS EITHER STUPID OR DISHONEST FOR YOU TO TRY TO
>>> GET AWAY FOR CLAIMING THIS USING THE STRAW DECEPTION
>>> INTENTIONALLY INCORRECT PARAPHRASE OF MY WORDS.
>>
>> Whether sum(3,2) is or is not the same as sum(5,2) is not the 
>> question. The question is whether a universal termination analyser can 
>> be constructed, and the answer is that it can't.
>>
>> This has been rigorously proved. If you want to overturn the proof 
>> you've got your work cut out to persuade anyone to listen, not least 
>> because anyone who tries to enter into a dialogue with you is met with 
>> contempt and scorn.
>>
>> The proof stands.
>>
> 
> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> *corresponding output to the input*
> 
> Not freaking allowed to look at any damn thing
> else besides the freaking input. Must compute whatever
> mapping ACTUALLY EXISTS FROM THIS INPUT.

Right, and the input is the code for the DD tha calls the HHH that 
aborts its simulation and returns 0.

> 
> int sum(int x, int y) { return x + y; }
> sum(3,2) == 5 even if God and all his angels say it == 7.

Right, and the input is the code for the DD that calls the HHH that 
aborts its simulation and returns 0, and thus this DD halts.

> 
> Likewise for the actual behavior of the input to HHH(DD)
> when measured by the actual semantics of the x86 language
> that includes XXX simulating itself simulating DD.

But xxx doesn't correctly simulate its input, and that isn't even a 
concept in the definition of the x86 language, so you are just admitting 
that you definitions are messed up.

> 
> The direct execution of DD DOES NOT FREAKING HAVE DD
> INVOKING ITS OWN EMULATOR STUPID !!!

So? The input to HHH doesn't either, as HHH isn't "its emulator" except 
to HHH,

> 
> The behavior is different because of this STUPID !!!
> Initially I could not see how anyone could possibly be
> be this stupid so I called many people despicable lying bass turds.
> I am still doubting that people can actually be this stupid.
> 

No, it isn't, and you have accepted that because you have decided to not 
even try to provide the actua step where they differ.

Sorry, all you are  doing is proving that you are just a pathological 
liar that doesn't know what he is talking about.