Sujet : Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 09. Feb 2025, 20:39:06
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <2fd02f81a1373810483d993525584bb583d91229@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sun, 09 Feb 2025 10:49:51 -0600 schrieb olcott:
On 2/9/2025 10:43 AM, Fred. Zwarts wrote:
Op 09.feb.2025 om 17:37 schreef olcott:
On 2/9/2025 9:53 AM, Fred. Zwarts wrote:
Op 09.feb.2025 om 16:15 schreef olcott:
On 2/9/2025 2:09 AM, Fred. Zwarts wrote:
Op 09.feb.2025 om 07:04 schreef olcott:
On 2/8/2025 3:49 PM, Fred. Zwarts wrote:
Op 08.feb.2025 om 15:43 schreef olcott:
On 2/8/2025 3:54 AM, Fred. Zwarts wrote:
Op 08.feb.2025 om 00:13 schreef olcott:
The input to HHH(DD) cannot possibly terminate normally. Referring
to some other DD does not change this verfied fact.
>
That DD halts is a verified fact.
The input to HHH(DD) DOES NOT HALT !!!
It is a verified fact that the finite string describes a halting
program. Du to a bug, HHH does not see that, because it investigates
only the first few instructions of DD. HHH is unable to process the
call from DD to HHH correctly.
DD simulated by HHH cannot possibly terminate normally. DD simulated by
HHH does specify the behavioral basis of the Boolean termination value
of the DD input to HHH.
DD terminates, and HHH can’t simulate it normally.
DD simulated by HHH is the input to HHH(HHH(DD)).
-- 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.
…