Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse 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: <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 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.