Path: ...!2.eu.feeder.erje.net!feeder.erje.net!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.theory
Subject: Who here understands that the last paragraph is Necessarily true?
Date: Sat, 13 Jul 2024 15:15:56 -0500
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <v6un9t$3nufp$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:15:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52398669a80ff5113c36343403a598c9";
	logging-data="3930617"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18xupNmDagY4Gk7sfTv27FA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lEJLGL6//+bOu4jaWF6Um+g5EQ0=
Content-Language: en-US
Bytes: 1533

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.

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