Re: behaviour and description

Am Tue, 06 Aug 2024 09:43:30 -0500 schrieb olcott:

Understanding that DDD correctly simulated by HHH cannot possibly reach
its own "return" instruction is a mandatory prerequisite to further
discussion.

There is nothing to discuss after agreeing with your conclusion.

Everyone remains convinced that HHH must report on the behavior of the
computation that itself is contained within and not the behavior that
its finite string input specifies.

The construction is not recursive if the description does not describe
the surrounding computation. And that behaviour cannot depend on the
decider, as they should all give the same answer.

--
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.