Sujet : Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- CORRECTION
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 28. Nov 2024, 19:32:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <viacvc$lars$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
On 11/28/2024 12:12 PM, olcott wrote:
On 11/28/2024 11:09 AM, Richard Damon wrote:
On 11/28/24 11:47 AM, olcott wrote:
On 11/28/2024 10:27 AM, joes wrote:
Am Thu, 28 Nov 2024 10:16:15 -0600 schrieb olcott:
On 11/28/2024 4:04 AM, joes wrote:
Am Wed, 27 Nov 2024 19:15:41 -0600 schrieb olcott:
On 11/27/2024 8:03 AM, Richard Damon wrote:
On 11/27/24 8:28 AM, olcott wrote:
On 11/27/2024 6:14 AM, Richard Damon wrote:
olcott <NoOne@NoWhere.com> wrote:
On 11/26/2024 7:02 AM, Richard Damon wrote:
On 11/25/24 11:08 PM, olcott wrote:
On 11/24/2024 11:18 AM, Richard Damon wrote:
On 11/24/24 9:30 AM, olcott wrote:
On 11/23/2024 11:54 AM, Richard Damon wrote:
On 11/23/24 11:54 AM, olcott wrote:
On 11/23/2024 9:35 AM, Richard Damon wrote:
On 11/23/24 10:15 AM, olcott wrote:
On 11/23/2024 9:02 AM, Richard Damon wrote:
On 11/23/24 9:04 AM, olcott wrote:
On 11/23/2024 1:59 AM, Mikko wrote:
On 2024-11-22 16:45:52 +0000, olcott said:
On 11/22/2024 2:30 AM, Mikko wrote:
On 2024-11-21 15:32:38 +0000, olcott said:
On 11/21/2024 3:12 AM, Mikko wrote:
On 2024-11-20 22:03:43 +0000, olcott said:
On 11/20/2024 3:53 AM, Mikko wrote:
On 2024-11-20 03:23:12 +0000, olcott said:
On 11/19/2024 4:12 AM, Mikko wrote:
On 2024-11-18 20:42:02 +0000, olcott said:
On 11/18/2024 3:41 AM, Mikko wrote:
On 2024-11-17 18:36:17 +0000, olcott said:
>
When DDD is emulated by HHH and DDD calls HHH(DDD) this call never
returns.
That's weird. Why can't HHH simulate itself?
I have already told you and conclusively proven that HHH does emulate
itself emulating DDD. I have told you this dozens of times and my code
continues to prove this.
>
I don't get it. HHH clearly halts in order to return a value. But that
value is "doesn't halt". Why does HHH, which does only a partial
simulation, report that itself (called by DDD) doesn't halt?
>
>
https://github.com/plolcott/x86utm
You just may not have the required software engineering
skill to get it. If you did then you could just carefully
study the code and see.
>
>
>
WHich just proves you are nothing by a liar, as HHH doesn't meet your requirements, so everything base on it is just a lie.
It DOES meet my requirements.
It may not meet your intentionally dishonest
twisting of my precise words.
The input to every HHH cannot possibly reach its
own final halt state thus each HHH that rejects
this input as non halting is necessarily correct.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
The DDD input to every emulating termination analyzer
HHH cannot possibly reach its own "ret" instruction final
halt state thus each HHH that rejects this input as non
halting is necessarily correct.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…