Sujet : Re: Can D simulated by H terminate normally? --- Message_ID Provided
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 20. May 2024, 09:37:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2f254$3t604$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 20/05/24 07:17, olcott wrote:
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*
Notice that none of what you wrote had any relationship to anything that I wrote.
Re: Can D simulated by H terminate normally? --- Message_ID Provided
Re: Can D simulated by H terminate normally? --- Message_ID Provided