Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Proof of Halting Problem Decidability in Typed Hypercomputational
 Programs (THP)
Date: Fri, 2 May 2025 06:15:40 +0100
Organization: Fix this later
Lines: 14
Message-ID: <vv1kdt$d71j$1@dont-email.me>
References: <E_QOP.4434$A71.1862@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 02 May 2025 07:15:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3a1c0b2ab3dc637eeb67dc4cd879a061";
	logging-data="433203"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18q9rHTc8QvRW7kccweSsg5a6tHWi/YBz4gKel6kPQpmA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4Vqor8E87kv7VtCUvVFCQTxr+js=
Content-Language: en-GB
In-Reply-To: <E_QOP.4434$A71.1862@fx17.ams4>

On 25/04/2025 20:01, Mr Flibble wrote:
> The proof addresses the assumption that self-referential
> conflation of a decider and its input constitutes a category (type) error,
> which the type system eliminates to ensure decidability.

So you've designed a system in which you guarantee decidability. 
Great! Let's see the code for your decider.

-- 
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