Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Analysis_of_Flibble=E2=80=99s_Latest=3A_Detecting_v?=
 =?UTF-8?Q?s=2E_Simulating_Infinite_Recursion_ZFC?=
Date: Wed, 21 May 2025 18:16:15 +0100
Organization: Fix this later
Lines: 23
Message-ID: <100l1ov$2ul3j$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <95db078e80b2868ed15a9a9a2af0280d96234a3a@i2pn2.org>
 <100jo18$2mhfd$1@dont-email.me> <100jpv9$2m0ln$4@dont-email.me>
 <100kt0c$2tae8$3@dont-email.me> <100ktr7$2reaa$1@dont-email.me>
 <100l09v$2tae8$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 21 May 2025 19:16:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="00538714ea56505b73087dcdf31c90f5";
	logging-data="3101811"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19R30zFpOfWgZNZWNk02/A7e6Eqw+/rH/WP2gTkxhrTdQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:P2qUMa5nTXtnC6cfYHH45hHco3I=
In-Reply-To: <100l09v$2tae8$5@dont-email.me>
Content-Language: en-GB

On 21/05/2025 17:51, olcott wrote:
> On 5/21/2025 11:09 AM, Richard Heathfield wrote:

<snip>

>> That an algorithm for ascertaining whether an arbitrary program 
>> with arbitrary input halts cannot actually exist is precisely 
>> what the Halting Problem proves.
> 
> If you think that it can exist then prove that it
> exists by encoding it in C.

It can't exist. The Halting Problem proves that it can't. I said 
that already.

Sheesh, you think /I'm/ not paying attention.

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