Re: DDD correctly emulated by H0

Am Tue, 25 Jun 2024 09:03:38 -0500 schrieb olcott:

On 6/25/2024 8:46 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

On 6/25/2024 4:22 AM, joes wrote:

Am Sat, 22 Jun 2024 13:47:24 -0500 schrieb olcott:

On 6/22/2024 1:39 PM, Fred. Zwarts wrote:

Op 21.jun.2024 om 15:21 schreef olcott:

 

When we stipulate that the only measure of a correct emulation is
the semantics of the x86 programming language then we see that when
DDD is correctly emulated by H0 that its call to H0(DDD) cannot
possibly return.

Yes. Which is wrong, because H0 should terminate.

I think you are talking at cross purposes.  Joes's point is that H0
should terminate because it's a decider.

Thanks.

We can get to Joes point only after my point is acknowledged as correct.

It IS correct.

You're saying that when H0 is "correctly" emulating, it won't
terminate.  I don't recall seeing anybody arguing against that.

Not at all. I am not tolerating talking about that point until after we
have 100% closure on the prior point.

What other point? This has been your only content for the last month.

So you're saying, in effect, H0 is not a decider.  I don't think
anybody else would argue against that, either.

I never said anything like that. It is all a matter of me not tolerating
the slightest nuance of any head games what-so-ever.

You said H0 doesn't terminate.

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