Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF
Date: Tue, 25 Feb 2025 23:21:34 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <8124378c65b0f13479d1acdddc158c2de847baa9@i2pn2.org>
References: <vo6420$3mpmf$1@dont-email.me> <vo7be3$jug$1@dont-email.me>
 <vo7r8d$36ra$3@dont-email.me> <vo9ura$i5ha$1@dont-email.me>
 <voahc5$m3dj$8@dont-email.me> <vocdo9$14kc0$1@dont-email.me>
 <vocpl7$16c4e$4@dont-email.me> <vof56u$1n9k0$1@dont-email.me>
 <vofnj2$1qh2r$2@dont-email.me> <vohrmi$29f46$1@dont-email.me>
 <vojs0e$2oikq$4@dont-email.me> <vokdha$2rcqi$1@dont-email.me>
 <vom1fr$34osr$1@dont-email.me> <von0iq$3d619$1@dont-email.me>
 <vondj5$3ffar$1@dont-email.me> <vopke4$3v10c$1@dont-email.me>
 <vore4m$9ddo$1@dont-email.me> <vpkq6t$22eec$1@dont-email.me>
 <vpl0h8$23vks$4@dont-email.me>
 <a7933046f50046a343ddf27baea995bafb80da4a@i2pn2.org>
 <vpl1vj$23vks$5@dont-email.me>
 <c0f30c3190ab62801ac2b882a853fc3b0d7acaf1@i2pn2.org>
 <vplt4t$28j3a$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Feb 2025 04:21:34 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1816923"; 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: <vplt4t$28j3a$5@dont-email.me>
Bytes: 4616
Lines: 80

On 2/25/25 9:09 PM, olcott wrote:
> On 2/25/2025 5:41 PM, Richard Damon wrote:
>> On 2/25/25 1:25 PM, olcott wrote:
>>> On 2/25/2025 12:07 PM, joes wrote:
>>>> Am Tue, 25 Feb 2025 12:01:12 -0600 schrieb olcott:
>>>>> On 2/25/2025 10:13 AM, Mikko wrote:
>>>>>> Althogh the subject line has the words "COMPLETE PROOF" there is no
>>>>>> proof or pointer to proof below.
>>>>>>
>>>>> typedef void (*ptr)();
>>>>> int HHH(ptr P);
>>>>> int DD()
>>>>> {
>>>>>     int Halt_Status = HHH(DD);
>>>>>     if (Halt_Status)
>>>>>       HERE: goto HERE;
>>>>>     return Halt_Status;
>>>>> }
>>>>> int main()
>>>>> {
>>>>>     HHH(DD);
>>>>> }
>>>>>
>>>>> The above does specify that DD simulated by HHH cannot possibly
>>>>> terminate normally by reaching its own "return" instruction.
>>>
>>>> This depends entirely on HHH not aborting *in every invocation*.
>>>>
>>>
>>> Whether HHH aborts or never aborts DD simulated by
>>> HHH never terminates normally.
>>
>> No, becuawe "DD" is the program as it behaves when run or correctly 
>> simulated.
>>
> 
> _DD()
> [00002133] 55         push ebp      ; housekeeping
> [00002134] 8bec       mov ebp,esp   ; housekeeping
> [00002136] 51         push ecx      ; make space for local
> [00002137] 6833210000 push 00002133 ; push DD
> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
> [00002141] 83c404     add esp,+04
> [00002144] 8945fc     mov [ebp-04],eax
> [00002147] 837dfc00   cmp dword [ebp-04],+00
> [0000214b] 7402       jz 0000214f
> [0000214d] ebfe       jmp 0000214d
> [0000214f] 8b45fc     mov eax,[ebp-04]
> [00002152] 8be5       mov esp,ebp
> [00002154] 5d         pop ebp
> [00002155] c3         ret
> Size in bytes:(0035) [00002155]
> 
> In other words you are trying to get away with saying
> that the above DD emulated by HHH can somehow jump
> over machine address 0000213c and still be a correct
> emulation.
> 
> 

That is NOT what I am saying, but that is just your strawman lie.

Since your HHH doesn't correctly emulate the input, your statement is 
just nonsense.

What I am saying is that the actual correct emulation of the full input, 
which needs to include the definition of your actual HHH that gives your 
claimed answer, will reach the final state.

The fact that you keep on conditioning your "proof" with an impossible 
statment just shows your stupidity.

And you are the one that claims OTHERS put forward "nonsense" 
statements, when you are the champion of that operation.

Remember your words about the fate of liar, and try to resolve that with 
your own lies about the actual behavior of HHH. Sorry, but you are due 
for a hot time in the old town some point soon.

All you are doing is totally proving your utter ignorance and total 
stupidity in what you write.