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: Sun, 13 Apr 2025 07:08:27 -0500
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <vtg9fr$2rqm0$2@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me>
 <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me>
 <vssi7p$3ipb5$3@dont-email.me> <vssjlr$3gd7d$4@dont-email.me>
 <vsss8i$d1q$1@dont-email.me> <vt52eo$nrf$2@dont-email.me>
 <vt6a5j$12sjs$1@dont-email.me> <vt70fd$1mtvn$1@dont-email.me>
 <vt78qo$1t4il$2@dont-email.me> <vt7g19$26bcv$1@dont-email.me>
 <vt9i4n$1ang$1@dont-email.me> <vta0kt$e7pj$1@dont-email.me>
 <vtb9p0$1ra42$1@dont-email.me> <vtbscm$2fqqg$1@dont-email.me>
 <vtbvo6$2ghlp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 13 Apr 2025 14:08:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8318e983107ca4e8b4bdc6c21b56e426";
	logging-data="3009216"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/0mjyRQQqyleQ7v6vI2eM+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:C5qYSHoIain3z4JIkgaOaz4GA2Q=
X-Antivirus-Status: Clean
In-Reply-To: <vtbvo6$2ghlp$1@dont-email.me>
Content-Language: en-US
X-Antivirus: Norton (VPS 250413-4, 4/13/2025), Outbound message
Bytes: 2927

On 4/11/2025 3:57 PM, Richard Heathfield wrote:
> On 11/04/2025 21:00, Chris M. Thomasson wrote:
> 
> <snip>
> 
>> Does your halt decider work or not?
> 
> Obviously not. If we had a working decision procedure we could use it to 
> prove it doesn't work.
> 

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


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

int main()
{
   HHH(DD);
}

*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.

The only rebuttal to this is to stupidly reject the notion
that all deciders must always halt.

HHH detects this pattern through mathematical induction
of n steps of DD emulated/simulated by HHH. The criteria
is that the emulated/simulated DD fails to ever reach its
own “return instruction” final halt state.

The only "proof" that HHH does not work correctly on
every element in its domains requires disagreeing with
verified facts.

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