Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Mon, 5 May 2025 18:07:40 +0100
Organization: Fix this later
Lines: 15
Message-ID: <vvar8t$tvgl$2@dont-email.me>
References: <GE4SP.47558$VBab.42930@fx08.ams4> <vvamqc$o6v5$4@dont-email.me>
 <sT5SP.296585$4AM6.4617@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 05 May 2025 19:07:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="35396e3e70446f4ec1a7d7dab39281f2";
	logging-data="982549"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+8vDymuOHCW4L0Q8tt928jTc8A4tZToRB5mN9oTQp5mw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IsHc+EIc9uD73TDIKYfgUSd21lQ=
Content-Language: en-GB
In-Reply-To: <sT5SP.296585$4AM6.4617@fx17.ams4>
Bytes: 1645

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