Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Mon, 5 May 2025 21:02:31 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f9c2e159d0f93c5e5f8987ada4988981d9219d32@i2pn2.org>
References: <GE4SP.47558$VBab.42930@fx08.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 6 May 2025 01:28:07 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3311256"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <GE4SP.47558$VBab.42930@fx08.ams4>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 1548
Lines: 16

On 5/5/25 11:17 AM, Mr Flibble wrote:
> What constitutes halting problem pathological input:
> 
> Input that would cause infinite recursion when using a decider of the
> simulating kind.
> 
> Such input forms a category error which results in the halting problem
> being ill-formed as currently defined.
> 
> /Flibble

And what is a decider of the simulating kind?

Remember, a decider must have a FIXED algorithm, and the input will also 
be a FIXED program, and thus the concept of "If the decider doesn't 
abort" looking at input that changes with the deciddr is uust a category 
error.