Re: D correctly simulated by H never halts

On 5/28/2024 10:05 PM, Chris M. Thomasson wrote:

On 5/28/2024 7:15 PM, olcott wrote:

On 5/28/2024 8:53 PM, tTh wrote:

On 5/29/24 00:12, olcott wrote:

On 5/28/2024 3:11 PM, Chris M. Thomasson wrote:

On 5/28/2024 7:11 AM, olcott wrote:
[...]

H is a pure simulator or a pure function.

[...]
Can you show us a little pseudo code for H?

>
>
Just assume that H is an x86 emulator that emulates
its input function with the input to this function.

>
    Why specially a x86 ? Why not a Sparc or a 68k ?

>
To make it 100% concrete so that no one can say I am being
too vague and that is what the fully operational H does.
Also I know x86 very well since it was new.
>

>
too vague? Oh that is rich.

 I had to start specifying the x86 language because dozens of reviewers
believed that D correctly simulated by H was supposed to report on the
behavior of non-input: int main() { D(D); }
 It was only that I could show that this would require simulating
the x86 instructions of D incorrectly or in the wrong order that
I could prove that they were wrong.