Re: Halting Problem: What Constitutes Pathological Input

Am Mon, 05 May 2025 18:50:45 -0500 schrieb olcott:

On 5/5/2025 5:54 PM, Richard Heathfield wrote:

On 05/05/2025 23:25, olcott wrote:

thenn we can see that the whole idea of an input that does the
opposite of whatever value its termination analyzer returns cannot
actually exist. The contradictory part is unreachable.

 
Or, more generally, you can't write a universal halt decider.
 

More specifically the proof that a general halt decider cannot exist has
several fatal flaws. The only important one is that the "impossible"
input is correctly determined to be non-halting. The proof of this is in
the parts that you ignore because you don't understand them.

Assume that DD halts. Then HHH returns that value, and DD enters an
infinite loop, not halting. Contradiction, the assumption was wrong.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.