Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

On 7/6/24 3:14 PM, olcott wrote:

On 7/6/2024 1:55 PM, Fred. Zwarts wrote:

Op 06.jul.2024 om 18:30 schreef olcott:

On 7/6/2024 10:29 AM, Fred. Zwarts wrote:

>
So, why do you disagree that the x86 code specifies an HHH that aborts and halts?

>
Dishonest dodge of changing the subject. This is called
the strawman deception and is a favorite tactic of liars.

>
Irrelevant text ignored. You talked about x86, therefore continuing to talk about x86 is not a change of subject.
I know you have difficulties to recognize the truth, so I do not feel offended, because: 'Don't assume somebody is wilfully wrong, if incompetence could be an explanation, as well.'
>

>
If you sufficiently understand the semantics of the x86
language then you can see that the call to HHH(DDD) from
DDD simulated according to the semantics of the x86 language
cannot possibly return.

>
I understand enough of it to see that it cannot possibly return, because HHH cannot possibly simulate itself correctly.

 According to the semantics of the x86 language IS IS IMPOSSIBLE
FOR DDD SIMULATED BY HHH TO RETURN AND IT IS EQUALLY IMPOSSIBLE
FOR THE HHH(DDD) CALLED BY DDD SIMULATED BY HHH TO RETURN.
 I can't tell that you are ignorant or a liar and it is reaching
the point where I don't care which it is.
 

No, the DDD that HHH simulated MUST return since HHH aborts its simulation and returns.
What doesn't happen is that the Simulation of DDD by HHH never reaches that point, but partial simulaition do not, by themselves, establish the behavior after the stop.
You confuse the simulation of DDD by HHH with the behavor of the DDD that HHH is simulating, which being of the actual machine, continues after the simulation stops, as REQUIRED by the semantics of the x86 language which doesn't stop a program just because someone stopped looking at it.