Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse Newsgroups: comp.theory Subject: Re: What it would take... Date: Tue, 13 May 2025 00:58:58 +0100 Organization: A noiseless patient Spider Lines: 94 Message-ID: <87plgdmldp.fsf@bsb.me.uk> References: <87v7q5n3sc.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Tue, 13 May 2025 01:59:00 +0200 (CEST) Injection-Info: dont-email.me; posting-host="938331c45a569ede21e499c9e2c7da72"; logging-data="1453694"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/d/K3fNLOBX3TUP5ue/2dXN5f5cjWw0eY=" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:YOgeJCbiWR+2EGGpLBakvT81Ow0= sha1:Wpxkj0tpOUrthUjA54TSu1hLPl8= X-BSB-Auth: 1.9b1cf429e68c6139aa78.20250513005858BST.87plgdmldp.fsf@bsb.me.uk Richard Heathfield writes: > On 12/05/2025 18:21, Ben Bacarisse wrote: >> Richard Heathfield writes: >> >>> The HHH code doesn't exactly invite confidence in its author, and his theory >>> is all over the place, but a thought experiment suggests itself. >>> >>> If we were not all wasting our time bickering with a career bickerer... if >>> we were to really /really/ try, could we patch up his case and send him on >>> to his Turing Award? And if so, how? >> Eh? > > Do you know the term 'steelmanning'? > https://en.wikipedia.org/wiki/Straw_man#Steelmanning Yes. That is, as it happens, how I address cranks. I don't usually argue against them but try to get them to say, as clearly and as unambiguously as possible, what they are trying to say. After a lot of back and forth I got PO to be clear and unambiguous about what he was saying. For example, I asked | Here's the key question: do you still assert that H(P,P) == false is | the "correct" answer even though P(P) halts? and PO replied "Yes that is the correct answer even though P(P) halts". Ref: Message-ID: Date: Sun, 31 Oct 2021 13:23:29 -0500 This, to my mind, is the steel man that people should be addressing. What is the point in countering anything other than this clear position? Similarly, he was clear that false (does not halt) was correct for his sketched simulator because of what /would happen/ if the code was altered by removing the line that makes the simulation stop. The current nonsense avoids the need for this because PO does not show the full simulation. Mike Terry "steelmanned" the simulation by showing the parts PO hides. On the other hand, you are spending a lot of time arguing about his knowledge and use of C. Yes, it's awful. He knows very little C and the code is crap, but that /is/ a straw man -- it's the simplest part of his argument to fix. Someone, for example, you, could rewrite it all clearly and neatly so that the real error (declaring false to be correct for some halting computations) was even more clear. There is nothing unfixable about the simulation. >>> ISTR that there is suspected to be a theoretical window for him, so I >>> suppose what I'm asking is what sort of boathook we would need to poke that >>> window a little wider. >> What on Earth do you mean? What window? > > Well, you know the history better than I do and I'm not about to trawl > through a month's worth of back-messages, so maybe I'm talking nonsense, but > I was under the impression that the line he was taking to attack on Linz's > argument could conceivably have merit. .... >>> Mr Olcott seems to have (correctly) spotted a minor flaw in >>> the proof published by Dr Linz. > > Maybe I grasped the wrong end of that stick. I don't know. There is, indeed, a small error in the notation that is easy to fix. I offered to explain the details but you said you had paint drying that needed to be watched. As far as I can see, both ends of the stick say "easy to fix minor flaw". What end did you grasp? .... >> (Rather belatedly, it occurs to me that you might be being sarcastic. > > Moi?!? Perish the thought! > > But no, I just thought that Mr Olcott is obviously not good at presenting > his case, and it occurred to me that we could probably do a far better > job. We could fix his code, clean up his reasoning, all that, and see what > falls out the bottom. As explained, I (and others) have done a lot of that. For me the steel man is that, to PO, false is correct from some class of halting computations. I assumed you were engaging with him just for the fun of it, not that you thought there might be some merit in it. > Even if it's only ash and clinker. False is the correct answer for some halting computations. Is that ash and clinker? I don't know, but I am puzzled by why so many posts don't address this. (For the record, I refuse to talk to him because of his inexcusable rudeness to me. I can take a lot, but his comments were finally beyond the pale.) -- Ben.