Re: Halting Problem: What Constitutes Pathological Input

On 06/05/2025 00:29, olcott wrote:
<snip>

 It is the problem incorrect specification that creates
the contradiction.

Not at all. The contradiction arises from the fact that it is not possible to construct a universal decider.

Everyone here insists that functions computed
by models of computation can ignore inputs and
base their output on something else.

I don't think anyone's saying that.
Maybe you don't read so well.
--
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