Re: Halting Problem: What Constitutes Pathological Input

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.

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

Because they are are framed incorrectly.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer