Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE
 ATTENTION?
Date: Mon, 12 May 2025 19:16:19 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <vvu30k$1c86j$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 May 2025 02:16:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="43745e07502355f27fac5eed8a7d2487";
	logging-data="1450195"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18z3dFWu8Fu3yC91EEfks0p"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:oLgNARIqHCwPVHlA75SoJGQNzc4=
Content-Language: en-US
X-Antivirus: Norton (VPS 250512-4, 5/12/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <87plgdmldp.fsf@bsb.me.uk>
Bytes: 3259

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.

All of the computer science textbooks say that
a halt decider is to report on the behavior of
input as if it was directly executed because
they never noticed that this behavior can possibly
diverge from the behavior that the finite string
input specifies.

We can only correctly compute the mapping from the
finite string input to HHH(DD) to the behavior
that this finite string actually specifies by
having HHH simulate DD according to the rules
of the C/x86 language.

*We cannot correctly ignore these rules*
We cannot say that DD correctly simulated
by HHH jumps directly to its "return" statement
on the basis of some textbook quote.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer