Re: Unpartial Halt Deciders --- category error

Mr Flibble <flibble@red-dwarf.jmc.corp> writes:

On Sat, 19 Apr 2025 19:34:40 -0400, Richard Damon wrote:

[...]

Note, The input in the Linz proof doesn't HAVE a "self-reference", the
program just references (by copying) the decider it is to refute, and it
is given an input that just happens to be a representation of itself,
which is a valid input. The input doesn't "Reference" the
contray-program, it just has a description/copy of it.
 
Note, Turing Machines don't HAVE "References" as a fundamental
elelement, so can't be self-referenential

>
False: the self-referential category error is still extant no matter what
representation of the pathological input is passed to the decider.

Then define rigorously what "pathological input" means (you haven't
yet done so), and explain whether the program I previously described
that tests Goldbach's Conjecture is "pathological" or not (you
haven't addressed that at all, unless I missed something).

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */