Re: Why do people here insist on denying these verified facts?

Am Sat, 22 Jun 2024 18:57:49 -0500 schrieb olcott:

On 6/22/2024 3:01 PM, joes wrote:

Am Sat, 22 Jun 2024 14:35:59 -0500 schrieb olcott:

On 6/22/2024 2:19 PM, Richard Damon wrote:

On 6/22/24 3:03 PM, olcott wrote:

On 6/22/2024 1:55 PM, Richard Damon wrote:

On 6/22/24 2:49 PM, olcott wrote:

The correct measure is the behaviour of DDD itself. Any old simulator
can do it, but H0 specifically can't.

H0 has libx86emu embedded within it.
Several decades of development effort went into that.

libx86emu can naturally simulate buggy programs.

That you and others keep referring to the behavior of non-inputs is
flat out stupid. That is not the way that actual computations actually
work.

The input is just DDD.

The input is the machine language of DDD that calls H0(DDD)
in recursive emulation.

Yes, of course. The input is not H0(DDD). The analyser does not directly
simulate itself, only because DDD calls it.

--
Man kann mit dunklen Zahlen nicht rechnen. Für die eigentliche Mathematik
sind sie vollkommen nutzlos. --Wolfgang Mückenheim