Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: What it would take...
Date: Sat, 10 May 2025 02:11:35 +0100
Organization: Fix this later
Lines: 32
Message-ID: <vvm948$34h6g$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 10 May 2025 03:11:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="43b083a872fadb3f2c7703b3081889c2";
	logging-data="3294416"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18p6AQw7EaviClRsDTyN2my1fQaFNN+ziumx4ODpoZCeA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:qaMcS9147IRssgyVX7w1IoqnBqo=
Content-Language: en-GB
Bytes: 2231

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?

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.

Can he even get there from here? Evidence would suggest that 
simulation is a dead end unless he can find a way to get the 
simulated program to include its own simulation in its behaviour, 
which he has not yet managed to do - but /is/ there a way?

Or could he abandon simulation completely and instead write a TM 
parser that builds an AST and walks it looking for evidence of 
terminating or looping? If he could, would that turn the trick?

Or do we have a latter day Cantor waiting in the wings to close 
the window once and for all?

Is there, in short, any way of putting out this un-halting flame 
war and turning this group to better use?

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within