Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: =?utf-8?Q?Re:_Analysis_of_Flibble=E2=80=99s_Latest:_Detecting_vs._Simulating_Infinite_Recursion_ZFC?=
Date: Thu, 29 May 2025 12:27:34 +0300
Organization: -
Lines: 28
Message-ID: <10199a6$3q0lk$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4> <100sr6o$ppn2$3@dont-email.me> <100uqro$1an9v$1@dont-email.me> <100vehv$1en90$1@dont-email.me> <100vl4m$1g3rf$1@dont-email.me> <101224h$22da5$6@dont-email.me> <10123oq$2320h$1@dont-email.me> <10124j3$22da5$16@dont-email.me> <101285u$23u6u$1@dont-email.me> <10128df$23fpg$1@dont-email.me> <1012eie$25djd$1@dont-email.me> <1012epa$25ej1$1@dont-email.me> <1012fp8$24dfe$10@dont-email.me> <1012iu7$265fe$2@dont-email.me> <1013u9p$2h8vk$1@dont-email.me> <10140br$2hkq1$1@dont-email.me> <10144s4$2iqqa$1@dont-email.me> <1014dm7$2kke0$1@dont-email.me> <1015al0$2qlhp$1@dont-email.me> <1016f12$343p9$7@dont-email.me> <1016fu0$35b2t$1@dont-email.me> <1016ltr$36b92$1@dont-email.me> <101794n$39etk$8@dont-email.me> <10179qb$39b3d$3@dont-email.me> <1017bef$3alqp$1@dont-email.me> <1017h0g$3bod1$1@dont-email.me> <1017he1$3bp24$1@dont-email.me> <1017lov$3cocn$1@dont-email.me> <87a56wthfj.fsf@bsb.me.uk> <1018b5h$3gr1i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 29 May 2025 11:27:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a08f6d3140900beb7898da3b9cde3d9a";
	logging-data="3998388"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19o59zQVL0Pe1OnELE3bZWN"
User-Agent: Unison/2.2
Cancel-Lock: sha1:0bTsYQ6xiCEBMPp9byWjfk+zX/U=

On 2025-05-29 00:53:05 +0000, olcott said:

> On 5/28/2025 7:00 PM, Ben Bacarisse wrote:
>> Richard Heathfield <rjh@cpax.org.uk> writes:
>> 
>>> On 28/05/2025 18:33, olcott wrote:
>>>> I am not solving the halting problem.
>>> 
>>> Clearly.
>> 
>> But once upon a time he was.  For example, in this exchange:
>> 
>> Me: Recent posts have said that you really do claim to have a halting
>> decider.  Have you extended your claim or was that a
>> misunderstanding?
>> 
>> PO: I really do have a halting decider.
> 
> It took a very long time for me to understand
> that a decider(CS) is not the common meaning of
> anything that decides. A decider(CS) must be all
> knowing.

The ability compute values of one function is far from being all knowing.

-- 
Mikko