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 : 12. Jul 2025, 11:52:36
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a15584099e434c75237baca3805e3086078dd6a3@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 24 25
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 11 Jul 2025 16:13:38 -0500 schrieb olcott:
On 7/11/2025 3:59 AM, Fred. Zwarts wrote:
As usual claims without evidence. If we do not change the input (which
aborts after a few cycles o simulation), then the simulating HHH could
reach the final halt state without abort.
It is a very easily verified fact that the input never aborts anything
at all.
Only because it is aborted in turn. The *input*, being the code of DDD,
doesn't do anything at all since it is just a representation. This
representation has reachable code to abort.
-- 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.