Re: Halting Problem: What Constitutes Pathological Input

On 06/05/2025 06:57, olcott wrote:

On 5/6/2025 12:51 AM, Richard Heathfield wrote:

On 06/05/2025 00:30, olcott wrote:

There are different ways of framing the problem.
The only one that matters is that HHH(DD) does
correctly determine that DD never halts.

>
That may be the only one that matters to you.

 It refutes ALL of the conventional HP proofs.

In your view, perhaps. But it takes a convincing argument to refute a major proof, and you don't have a convincing argument, just a long trail of people you've failed to convince.

The one that matters to computer scientists, though, is the one that shows why some  questions are undecidable.

 Because they are are framed incorrectly.

Where 'incorrectly' is your code for 'undecidably'.
--
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