Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic
Subject: HHH(DD) does correctly reject its input as non-halting --- VERIFIED
 FACT
Date: Thu, 12 Jun 2025 10:34:01 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <102es19$2ohps$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 12 Jun 2025 17:34:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9f0ba097a1221e597ea76cc26b2e661a";
	logging-data="2901820"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+cY2stjn31S426h14MqC3S"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dMprg721ezIOawotVZP9WQKhWbE=
X-Antivirus: Norton (VPS 250612-2, 6/12/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

It is a verified fact that DD() *is* one of the forms
of the counter-example input as such an input would
be encoded in C. Christopher Strachey wrote his in CPL.

// rec routine P
//   §L :if T[P] go to L
//     Return §
// https://academic.oup.com/comjnl/article/7/4/313/354243
void Strachey_P()
{
   L: if (HHH(Strachey_P)) goto L;
   return;
}

https://academic.oup.com/comjnl/article-abstract/7/4/313/354243?redirectedFrom=fulltext 


It *is* a verified fact DD correctly simulated by HHH cannot
possibly reach its own "return" statement final halt state
because the input to HHH(DD) specifies recursive simulation.

All of the above code is fully operational in this file
https://github.com/plolcott/x86utm/blob/master/Halt7.c

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer