Re: Can D simulated by H terminate normally? --- Message_ID Provided

On 5/19/2024 11:37 PM, immibis wrote:

On 19/05/24 15:06, olcott wrote:

Show H simulating P and H simulating itself simulating P.
>
The 395 pages of the execution trace of the simulated H are
screened out. No one here could ever understand the half page
trace so embedding that in 395 more pages would not help.

>
The fact that you took 395 pages to get to "if(flag) return 0;" does not mean that you didn't use "if(flag) return 0;"
>

>
That P is simulated correctly is proven by the fact that the
x86 assembly language instructions of P are correctly simulated
and they are simulated in the order that the assembly language
of P specifies.

>
This is a lie -> If every assembly instruction that was simulated is simulated correctly, the program was simulated correctly. <- This is a lie.
>

 *Quoted from page 4 of the paper linked below*