Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sun, 6 Apr 2025 01:52:56 +0100
Organization: Fix this later
Lines: 23
Message-ID: <vssj98$3gd7d$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 02:52:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dbe7ec1ac8ffd7a60b5ada94cfd55d95";
	logging-data="3683565"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19shBr5+oAV7HtI4Z+6wWFNn0+pdFhcAVffXgjiUQleUg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jR8FKHfbwLRJ26adu6xfMc8bvxg=
Content-Language: en-GB
In-Reply-To: <vsshvo$3ipb5$2@dont-email.me>
Bytes: 2065

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.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within