Re: Halting Problem: What Constitutes Pathological Input

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

When we examine this as 100% fully encoded in a
fully specified programming language

You don't have to do that. You can try, of course, but there's no point.

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.
Which is precisely what Turing pointed out in 1936.
--
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