Path: 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 00:25:47 +0100
Organization: Fix this later
Lines: 30
Message-ID: <vsse5t$3gbj1$1@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>
 <20250405153728.395@kylheku.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 06 Apr 2025 01:26:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dbe7ec1ac8ffd7a60b5ada94cfd55d95";
	logging-data="3681889"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/DLvIH0S7wACts5T4ZZxUtIQN/a0VAqEikxSL5J9k+fw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DCUlORpJEN4gmGAhQSDClpAa1m4=
Content-Language: en-GB
In-Reply-To: <20250405153728.395@kylheku.com>


On 05/04/2025 23:42, Kaz Kylheku wrote:
> On 2025-04-05, Richard Heathfield <rjh@cpax.org.uk> wrote:
>> On 05/04/2025 23:20, olcott wrote:
>>> ...
>> The difference between us is that I know it and you don't.
> 
> Olcott resides in a fortress he built out of bricks that were
> specially ordered from Dunning and Kruger's website.
> You're not getting through.

Well, no. On the other hand, the discussion has in places driven
me to the literature and has thus in its own way been
educational. For example, I was surprised to discover that
although Turing's 1936 paper does deal with the Halting Problem,
he doesn't actually use that term, which didn't surface until
1952. I also stumbled on a 1972 paper on incomputability by Tony
Hoare and Donald Allison - well worth the read, and I was amused
by its somewhat prescient opening paragraph: "[...] programmers
have been known to attempt solutions to problems which are
probably unsolvable; the existence of such problems should be of
interest to all programmers." Clearly, 53 years ago, they already
had Olcott nailed.

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