Sujet : Re: My reviewers think that halt deciders must report on the behavior of their caller
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 08. Jul 2025, 17:10:30
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <02fc4f68e9ac8825dfd66cba44c075c8298e044d@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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 08 Jul 2025 09:14:50 -0500 schrieb olcott:
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.
You said it didn't always abort. How does it halt without aborting?
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.