Sujet : Re: My reviewers think that halt deciders must report on the behavior of their caller
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 09. Jul 2025, 12:34:41
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <c03c9db4593020e917ef90b296d08011b502ab9f@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/8/25 10:14 AM, olcott wrote:
On 7/8/2025 2:15 AM, joes wrote:
Am Mon, 07 Jul 2025 21:38:19 -0500 schrieb olcott:
>
"No, that code proves that HHH, as defined,
always aborts its simulation of DDD"
That is a false statement. If you understood the code you would know
your error.
Lolwut? Please explain how HHH runs forever.
>
I didn't say that it runs forever.
Then the HHH that DDD calls returns 0 to it and then DDD halts, and HHH is wrong.
Your problem is you can't have it both ways.
It seems you think computers are inherently broken as code doesn't need to always do the same thing.
Sorry, but you private fanstasy world is just broken, and you can't seem to handle reality.