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,sci.logic
Subject: Re: The error of the halting problem
Date: Mon, 3 Jun 2024 20:55:56 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3loms$2uv04$1@i2pn2.org>
References: <v3lafd$1uml$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 4 Jun 2024 00:55:56 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3111940"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v3lafd$1uml$1@dont-email.me>
Bytes: 2647
Lines: 40

On 6/3/24 4:53 PM, olcott wrote:
> For any program H that might determine whether programs halt, a
> "pathological" program D, called with some input, can pass its own
> source and its input to H and then specifically do the opposite of what
> H predicts D will do. No H can exist that handles this case. 
> https://en.wikipedia.org/wiki/Halting_problem
> 
> The way that the halting problem is conventionally understood is that H
> must correctly answer yes or no to an input that contradicts both
> answers, thus H is being asked a question isomorphic to the Liar
> Paradox: Is this sentence true or false: "This sentence is not true." ?

But it doesn't reduce to that, as the decider was fixed in code first, 
and then, by using that code, a question is constructed WITH A RIGHT 
ANSWER, that just isn't the answer that this decider happens to give.

You just don't seem to understand logic well enough to understand that 
not that subtitle difference.

> 
> *Two PhD computer science professors agree with this assessment*
> 
> E C R Hehner. Problems with the Halting Problem, COMPUTING2011 Symposium 
> on 75 years of Turing Machine and Lambda-Calculus, Karlsruhe Germany, 
> invited, 2011 October 20-21; Advances in Computer Science and 
> Engineering v.10 n.1 p.31-60, 2013
> https://www.cs.toronto.edu/~hehner/PHP.pdf
> 
> Bill Stoddart. The Halting Paradox
> 20 December 2017
> https://arxiv.org/abs/1906.05340
> arXiv:1906.05340 [cs.LO]
> 
> E C R Hehner. Objective and Subjective Specifications
> WST Workshop on Termination, Oxford.  2018 July 18.
> See https://www.cs.toronto.edu/~hehner/OSS.pdf
> 
> 

WHoo don't understand the problem either, so we have the blind leading 
the blind into a pit.