Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Unpartial Halt Decider 4.0
Date: Sat, 19 Apr 2025 10:54:49 +0300
Organization: -
Lines: 22
Message-ID: <vtvks9$vu3s$1@dont-email.me>
References: <f5xMP.1062941$EYs7.394743@fx12.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 19 Apr 2025 09:54:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9771f33c4d6a22f3fac4581d4c75e530";
	logging-data="1046652"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18hxRlaB3mKa9O6BeqgttlH"
User-Agent: Unison/2.2
Cancel-Lock: sha1:qrwXtKRNCn69ckS/zSRwU3DVrJw=

On 2025-04-18 18:45:31 +0000, Mr Flibble said:

> Hi!
> 
> I, aka Mr Flibble, have created a new computer science term, the
> "Unpartial Halt Decider".  It is a Partial Halt Decider over the domain of
> all *finite* program-input pairs excluding pathological input (a
> manifestation of the self referencial category error).
> 
> It is a Simulating Halt Decider with *infinite resources*.
> 
> Turing’s statement of the problem included logically invalid inputs. Once
> we correct the domain to disallow self-reference, the rest (of *finite*
> size) are decidable.

You haven't proven that your "decider" can actually correctly determine
all cases of non-halting that do not have any pahological relation to
anyhing.

-- 
Mikko