On Wed, 9 Nov 2022 13:12:54 -0600
olcott <
polc...@gmail.com> wrote:
> void D(void (*x)())
> {
> H(x, x);
> }
>
> If H correctly simulates D would the simulated D ever stop running
> without being aborted?
>
> A PhD computer scientist seems to believe that (ignoring stack
> overflow) D correctly simulated by H would stop running and terminate
> normally without having its simulation aborted.
>
> *Is he correct or just trolling me*
The Flibble Signaling Simulating Halt Decider (TM) is an example of a
simulating halt decider that when called by D would allow D to return
to its caller (the controlling decider) so the PhD computer scientist
is correct and you are wrong because you are clueless about category
errors.
/Flibble