Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theoryDate : 29. May 2025, 01:00:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87a56wthfj.fsf@bsb.me.uk>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Gnus/5.13 (Gnus v5.13)
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.