Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION?
Date: Tue, 13 May 2025 12:39:01 +0300
Organization: -
Lines: 37
Message-ID: <vvv3vl$1o2g6$1@dont-email.me>
References: <vvm948$34h6g$2@dont-email.me> <87v7q5n3sc.fsf@bsb.me.uk> <vvtf7n$17c1i$5@dont-email.me> <87plgdmldp.fsf@bsb.me.uk> <vvu30k$1c86j$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 May 2025 11:39:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="69576f0644f413b581cc430fda63c863";
	logging-data="1837574"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+NlIKoVU5Vl03nOHYwM7li"
User-Agent: Unison/2.2
Cancel-Lock: sha1:LT8lSsgktJDZP8Yd25hZ9qefuFg=

On 2025-05-13 00:16:19 +0000, olcott said:

> On 5/12/2025 6:58 PM, Ben Bacarisse wrote:
>> Richard Heathfield <rjh@cpax.org.uk> writes:
>> 
>>> On 12/05/2025 18:21, Ben Bacarisse wrote:
>>>> Richard Heathfield <rjh@cpax.org.uk> 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?
> 
> H is required to compute the mapping from its
> finite string input to the behavior that this
> finite string actually specifies.

Not to the behaviour but only to one particular feature of that bhaviour.

-- 
Mikko