Sujet : Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theoryDate : 08. Aug 2024, 09:24:34
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v91vc4$3qp1r$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
Op 07.aug.2024 om 15:01 schreef olcott:
On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
Op 04.aug.2024 om 15:11 schreef olcott:
On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
Op 03.aug.2024 om 17:20 schreef olcott:>>
When you try to show how DDD simulated by HHH does
reach its "return" instruction you must necessarily
must fail unless you cheat by disagreeing with the
semantics of C. That you fail to have a sufficient
understanding of the semantics of C is less than no
rebuttal what-so-ever.
>
Fortunately that is not what I try, because I understand that HHH cannot possibly simulate itself correctly.
>
>
void DDD()
{
HHH(DDD);
return;
}
>
In other words when HHH simulates itself simulating DDD it
is supposed to do something other than simulating itself
simulating DDD ??? Do you expect it to make a cup of coffee?
>
>
Is English too difficult for you. I said HHH cannot do it correctly.
*According to an incorrect criteria of correct*
You keep trying to get away with disagreeing with
the semantics of the x86 language. *That is not allowed*
Again accusations without evidence.
We proved that HHH deviated from the semantics of the x86 language by skipping the last few instructions of a halting program.
This is incorrect, even according to your own definition of 'correct'.
No matter how much olcott wants it to be correct, or how many times olcott repeats that it is correct, it does not change the fact that such a simulation is incorrect, because it is unable to reach the end of a halting program.
Olcott's own claim that the simulated HHH does not reach its end confirms it. The trace he has shown also proves that HHH cannot reach the end of its own simulation. So, his own claims prove that it is true that HHH cannot possibly simulate itself up to the end, which makes the simulation incomplete and, therefore, incorrect.
Dreams are no substitute for logic proofs.