Re: Halting Problem: What Constitutes Pathological Input

On 05/05/2025 17:42, Mr Flibble wrote:

it is not incomputable as the problem itself is ill-
formed due to a category (type) error.

You are free to call it what you like, of course, but it's hard to avoid the conclusion that you say 'category error' when you can't bring yourself to say 'incomputable function'. From now on, I will read your articles with that substitution in mind.
--
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