Re: Halting Problem is wrong two different ways

On 2024-06-07 22:27:22 +0000, olcott said:

On 6/7/2024 4:02 PM, joes wrote:

Am Fri, 07 Jun 2024 09:09:54 -0500 schrieb olcott:

On 6/7/2024 1:22 AM, Mikko wrote:

On 2024-06-06 15:18:21 +0000, olcott said:

 

All halt deciders are only allowed to report on the actual behavior of
their actual input.

 >

Required even! And if they simulate, that simulation must match the
behaviour.
 

 The most persistent false assumption that cannot possibly
be corrected without expertise in the x86 programming language.
Some people here have that.

Not true. An expert of simulation and simulators need not know
anything about x86. If you cannot correct a false assumption
about simulations without expertise in the x86 programming language
then you cannot correct it with that expertise, either.

I have proven right here that the actual behavior of the actual input is
that it remains stuck in recursive simulation.

Then the same happens to the simulator.

--
Mikko