Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD

On 11/28/24 12:35 PM, olcott wrote:

On 11/28/2024 11:32 AM, joes wrote:

Am Thu, 28 Nov 2024 11:07:16 -0600 schrieb olcott:

On 11/28/2024 10:51 AM, joes wrote:

Am Thu, 28 Nov 2024 10:47:10 -0600 schrieb olcott:

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.

That's what I mean. I can see the code, but the code is wrong.

The code does do what it does do.

Yes, the wrong thing.
>

If HHH halts at all, it needs to return that HHH halts.

DDD emulated by any HHH cannot possibly halt.
You can fail to understand that, you can lie about that, it remains
immutably a verified fact none-the-less.

Yes, HHH can't simulate itself.
>

 The code proves that HHH does emulate itself emulating DDD
why lie? https://github.com/plolcott/x86utm
 

And in so doing, proves it is not a proper emulator, as it isn't a pure function, and everything you try to derive from that is just a lie.