Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sat, 5 Apr 2025 20:22:03 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vsskvs$3m0q1$3@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss6ie$389d8$3@dont-email.me>
 <vss7av$375du$8@dont-email.me> <vss7em$389d8$5@dont-email.me>
 <vssa6p$3b2j0$2@dont-email.me> <vssaot$389d8$8@dont-email.me>
 <vsshvo$3ipb5$2@dont-email.me> <vssj98$3gd7d$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 03:22:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9b6a58fda5364b319cd96985a9bb23a0";
	logging-data="3867457"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FG6oQ0Z6Wk3N30BDBPMcf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dJQUtWiuzszUCLC9VrXvpDN4zUs=
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vssj98$3gd7d$3@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 2670

On 4/5/2025 7:52 PM, Richard Heathfield wrote:
> On 06/04/2025 01:30, olcott wrote:
> 
> <snip>
> 
>> Everyone else seems to think that the correct way
>> to handle a pathological relationship between an
>> input and a termination analyzer is to simply ignore
>> the differences that this makes. THAT CAN'T BE RIGHT !!!
> 
> Everyone else (i.e. not you) knows that you are attempting to square the 
> circle, trisect the angle, and find the exact value of pi. You're 
> ignoring Post, Gödel, Church, Turing, Kleene, Hoare, and a zillion other 
> computer scientists, and you're trying to write a program that can't be 
> written. The fact that you've written a program is neither here nor 
> there if it doesn't do what's required... which it doesn't.
> 

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

*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.

HHH(DD) is correct according to the above principle.
The last step is validating that this principle is correct.

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