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: Thu, 22 May 2025 20:28:09 +0100
Organization: Fix this later
Lines: 35
Message-ID: <100nts9$3keki$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <100kt0c$2tae8$3@dont-email.me> <100ktr7$2reaa$1@dont-email.me>
 <100l09v$2tae8$5@dont-email.me> <100l1ov$2ul3j$1@dont-email.me>
 <100l3jh$2v0e9$1@dont-email.me> <100l5c8$2ul3j$2@dont-email.me>
 <100l75g$2vpq3$1@dont-email.me> <100l887$2ul3i$2@dont-email.me>
 <100l9gh$30aak$1@dont-email.me> <100lc4o$30pgm$1@dont-email.me>
 <100ld1u$312c9$1@dont-email.me> <100lg4g$31jt3$1@dont-email.me>
 <100lkdv$32ib3$1@dont-email.me> <100lmif$32v06$1@dont-email.me>
 <100lmp3$32ven$1@dont-email.me>
 <9af78257f75aa43a76d4b75e226bf92aeaf62463@i2pn2.org>
 <100ngbr$3hg1k$1@dont-email.me> <100ngkv$3hhar$1@dont-email.me>
 <100nhno$3hg1k$2@dont-email.me> <100njq7$3i5b8$1@dont-email.me>
 <100nkbo$3hsio$1@dont-email.me> <100nl50$3i5b8$2@dont-email.me>
 <100nm04$3inhu$1@dont-email.me> <100np8u$3jc7b$1@dont-email.me>
 <100nplp$3jesq$1@dont-email.me> <100nqle$3jc7b$3@dont-email.me>
 <100nrdj$3jplm$1@dont-email.me> <100nrjg$3jc7b$4@dont-email.me>
 <100ns43$3jplm$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 22 May 2025 21:28:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a4c25fe67a6e1f50e61bb80ea4001874";
	logging-data="3816082"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/yqVtRxrxjC1iYBA8lh1/f4TkCdSSbPgSj/eC344w/yA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xZcQCEIGkDoXzJrfzYlOgwjaRPA=
Content-Language: en-GB
In-Reply-To: <100ns43$3jplm$2@dont-email.me>

On 22/05/2025 19:58, olcott wrote:
> On 5/22/2025 1:49 PM, Richard Heathfield wrote:
>> On 22/05/2025 19:46, olcott wrote:

<snip>

>>> KEY ELEMENT OF THE CONVENTIONAL HALTING
>>> PROBLEM PROOFS CANNOT POSSIBLY EXIST.
>>
>> What it proves is that the universal termination analysis 
>> program cannot exist.
>>
> 
> Show HOW it proves that

I have done so several times in the past few weeks. You never get it.

You can find the proof here:

https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

> and I will point out your mistake.

No, you'll just copy and paste your own mistake. (Again.)

> (You don't know how, you are only a parrot)

RAAARK! Pretty Polly.

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