| Deutsch English Français Italiano |
|
<87a56wthfj.fsf@bsb.me.uk> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.theory
Subject: Re: Analysis of =?utf-8?Q?Flibble=E2=80=99s?= Latest: Detecting vs.
Simulating Infinite Recursion ZFC
Date: Thu, 29 May 2025 01:00:00 +0100
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <87a56wthfj.fsf@bsb.me.uk>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
<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>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Thu, 29 May 2025 02:00:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b5461cffdc789f13090e90693588a340";
logging-data="3682628"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+wQ6T6FjlbXErLaRaSH+f1g6TqSpAtWjg="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:IoTTK5RgtBxDyqdz05nsPLiXP5E=
sha1:aiY5YaM80ZJm/2LOXnoFxxZkJrE=
X-BSB-Auth: 1.1dad4c6948e7582b0482.20250529010000BST.87a56wthfj.fsf@bsb.me.uk
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.
I think it's useful to know that trying to have any discussion with the
OP will eventually feel like nailing jelly to a wall.
--
Ben.