Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT

On 18/04/2025 14:27, Mr Flibble wrote:

On Wed, 16 Apr 2025 23:24:22 +0100, Richard Heathfield wrote:
 

On 16/04/2025 22:01, Mr Flibble wrote:

I, aka Mr Flibble, have uniquely identified this category error and
have thus solved the halting problem

>
No, Mr Flibble, you have solved the Mr Flibble Problem. Well done! You
may award yourself whatever cash prize you can find in your piggy bank.
Well done!
>
And now you'd hurry back to using all those naughty words while your
mummy's still out at the shops.

 Partial deciders are a thing

Indeed, but they don't solve the Halting Problem.

and in the case of a simulating halt
decider with finite resources repeated state can be recognised for a
useful subset of problems

I won't dispute it, but that doesn't solve the Halting Problem.

including the ability to recognise pathological
input (halting problem category error manifestation).

The Halting Problem is what it is. Can you solve a different problem? Indubitably. Does solving that different problem solve the Halting Problem? Of course not.

A simulating halt
decider with the mythical infinite resources that the halt decider that
your proofs are predicated on also possesses is an unpartial decider also
with the ability to recognise pathological input (halting problem category
error manifestation).

The Halting Problem is what it is. Can you solve a different problem? Indubitably. Does solving that different problem solve the Halting Problem? Of course not.
--
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