Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 13. May 2025, 10:18:45
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <cd115d21bc57bfc7a4a53b56fadf8fce52738717@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 12 May 2025 18:53:43 -0500 schrieb olcott:
Simulating Termination analyzers cannot possibly report on the actual
behavior of non-terminating inputs because this would cause themselves
to never terminate.
There's nothing stopping HHH from aborting and still returning "halts".
They must always hypothesize what the behavior of the input would be if
they themselves never aborted.
And if HHH were running indefinitely, it would halt.
BTW, is there a distinction between recursive simulation, which I feel
like it halts at infinity, and an endless loop, which I feel like it
doesn't?
-- 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.