Re: Unpartial Halt Decider 4.0

On 4/18/25 3:11 PM, Mr Flibble wrote:

On Fri, 18 Apr 2025 15:00:10 -0400, Richard Damon wrote:
 

You still haven't answered how to actually DEFINE this "pathological
input", so your whole system, and the term, is still undefined, so you
haven't "created" a term, but just the idea of a term that you can't yet
figure out how to define (and my guess is actually definable without
just loosing Turing Completeness of your system as even an idea you get
close to).

 Turing Completeness doesn't apply when we are dealing with logically
unsound category errors.
 /Flibble

But you can't show the "Category Error", just your ignorance of what you are talking about.
You logic is what has the category error, as it ignores the fact that the decider needs to be an actual program, which is what makes the "pathological input" actually a valid input.