Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Who here understands that the last paragraph is Necessarily True? ---
 AKA a Tautology
Date: Sat, 13 Jul 2024 15:36:53 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <v6uoh5$3o4oh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 13 Jul 2024 22:36:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52398669a80ff5113c36343403a598c9";
	logging-data="3937041"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19QtKUsez+4xuH/4UxIxIQp"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:eMzOL4e2b370DteNpzQsg0Rote0=
Content-Language: en-US
Bytes: 1859

*Pure function HHH is a simulating termination analyzer*
DDD is correctly simulated by HHH until HHH correctly
determines that it must abort its simulation of DDD
to prevent its own non-termination.

typedef void (*ptr)();
int HHH(ptr P);

void Infinite_Loop()
{
   HERE: goto HERE;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
}

void DDD()
{
   HHH(DDD);
}

int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}

Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.

https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 


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