On 26/08/2025 21:03, dbush wrote:
On 8/26/2025 4:00 PM, Richard Heathfield wrote:
On 26/08/2025 20:57, dbush wrote:
On 8/26/2025 3:44 PM, Richard Heathfield wrote:
On 26/08/2025 20:00, olcott wrote:
On 8/26/2025 12:49 PM, Richard Heathfield wrote:
<snip>
You have already established that HHH returns 0
to claim that DDD never halts.
Liar
I'm sorry? Are you now saying DDD halts?
He's referring to his weasel-word phrase "DD emulated by HHH
according to the semantics of the x86 language".
So does he think DD halts or doesn't he?
And why do I get the feeling that the right answer to that
question is "no"?
He thinks that DD (as is) halts, but if you were to replace the
code of HHH with a pure simulator then the resulting DD would not
halt, so based on that he's claiming HHH(DD)==0 correct.
This is of course nonsense.
So he knows it halts but thinks it doesn't? No, wait, he /thinks/
it halts but says it doesn't, in case he can find some jump leads
from somewhere? He's going to need more than a jump-start,
because he's seven gaskets, three brake pads, a cylinder head,
seven rocker arms, a gudgeon pin, an accelerator, a camshaft, two
passenger doors, a distributor, a handbrake, a boot lid, a roof
panel, two front wings, a cylinder block, a radiator, a
carburettor, three wheels, a cigarette lighter, a crankshaft,
four tyres, four pistons, a bonnet, a fuel cap, a footwell mat, a
fan belt, a left sills, two wheel arch liners, a tyre iron, eight
valve springs, a petrol tank, a distributor cap, a driver's door,
two connecting rods, three spark plugs, a gearbox, three hubcaps,
a clutch, a brake, a speedometer, front and rear bumper bars,
eleven wheel nuts, four exhaust valves, front and rear valances,
four inlet valves, an ignition key, and seventeen chewing gum
wrappers short of a car.
--
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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)