What it would take...

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