Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.lang.c,comp.ai.philosophy
Subject: Re: This first time anyone In the entire history of the halting
 problem derived a correct return value for HHH(DD)
Date: Fri, 6 Dec 2024 20:47:54 -0600
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <vj0d0q$2n835$2@dont-email.me>
References: <vhdd32$oq0l$1@dont-email.me> <via6qe$ju6v$5@dont-email.me>
 <f4f759fcc2f0b701a91e38062c25d16534e470af@i2pn2.org>
 <via804$kfnn$1@dont-email.me>
 <39d1fae0d0e03ceb82a6a7c722581d5e84d4998f@i2pn2.org>
 <via9kk$kpf2$1@dont-email.me>
 <6f73ca664f7017ea34651a485a4bd3602e9cbe57@i2pn2.org>
 <vilrih$3n2q7$2@dont-email.me>
 <b961b7e79a85fcb3bbd058930fef41e582f7acdd@i2pn2.org>
 <vio31i$dg23$1@dont-email.me>
 <4ccc2cbecfd0e6befd031ed394f1262edd021822@i2pn2.org>
 <viposd$u16a$1@dont-email.me>
 <dd3385b7f379281e5d476701f96e30538ea85802@i2pn2.org>
 <viqua6$16uvh$1@dont-email.me>
 <3d80e95768bf6260168865530aaad3591aa03fda@i2pn2.org>
 <vir0c7$17d36$1@dont-email.me>
 <6d0683c816f5f63b3a17c8a52e9b691eecc143a8@i2pn2.org>
 <vir0sq$17ga3$1@dont-email.me>
 <2ebbdef8e9070397a2ec3db6dbc37c16f1fe8923@i2pn2.org>
 <vir9n1$1cqu9$1@dont-email.me>
 <visnat$1o5le$1@raubtier-asyl.eternal-september.org>
 <vj0amr$2mpd0$1@dont-email.me>
 <5e1d34cbe07b0dbffe60a12121f2f751b308c1c5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 07 Dec 2024 03:47:57 +0100 (CET)
Injection-Info: dont-email.me; posting-host="e9bb7a7e09a052885dc07388bbe7af3b";
	logging-data="2859109"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/b5oN/01GVhcN8o7ragJ+u"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tqS+ZcEDcZ/vKECX1KPKflBajFQ=
Content-Language: en-US
In-Reply-To: <5e1d34cbe07b0dbffe60a12121f2f751b308c1c5@i2pn2.org>
X-Antivirus: Norton (VPS 241206-10, 12/6/2024), Outbound message
X-Antivirus-Status: Clean
Bytes: 4127

On 12/6/2024 8:40 PM, Richard Damon wrote:
> On 12/6/24 9:08 PM, olcott wrote:
>> On 12/5/2024 11:20 AM, Bonita Montero wrote:
>>> Am 05.12.2024 um 05:20 schrieb olcott:
>>>> There is an 80% chance that I will be alive in one month.
>>>> There may be an extended pause in my comments.
>>>> I will try to bring a computer to the out of town hospital.
>>>
>>> Maybe you'll solve your halting problem issues before you die.
>>>
>>
>> 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);
>> }
>>
>>
>> I am sure that DD correctly emulated by HHH according to
>> the semantics of the C programming language cannot possibly
>> reach its own return instruction final halt state.
> 
> How does HHH correctly emulated DD, if it isn't give tne code for the 
> HHH that DD calls?
> 

As I have told you many dozens of times HHH and DD share
the same global memory space within memory version of the
Halt7.obj file.

_DD()
[0000213e] 55             push ebp
[0000213f] 8bec           mov ebp,esp
[00002141] 51             push ecx
[00002142] 683e210000     push 0000213e
[00002147] e8a2f4ffff     call 000015ee ; *call HHH in global memory*
[0000214c] 83c404         add esp,+04
[0000214f] 8945fc         mov [ebp-04],eax
[00002152] 837dfc00       cmp dword [ebp-04],+00
[00002156] 7402           jz 0000215a
[00002158] ebfe           jmp 00002158
[0000215a] 8b45fc         mov eax,[ebp-04]
[0000215d] 8be5           mov esp,ebp
[0000215f] 5d             pop ebp
[00002160] c3             ret
Size in bytes:(0035) [00002160]

Line 1354 called on line 1388
https://github.com/plolcott/x86utm/blob/master/Halt7.c

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