Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 23. May 2025, 06:12:05
Autres entêtes
Organisation : Fix this later
Message-ID : <100p037$3ucnf$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 23/05/2025 02:24, Mike Terry wrote:
<snip>
An Internet crank claims to have refuted Linz HP proof by creating a Halt Decider that CORRECTLY decides its own
"impossible input"!
That's pretty much what I gleaned, of course, but if there's one thing this guy's good at it's muddying the water.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within