novaBBS - comp.theory - That is the question (halting problem reprise)

That is the question (halting problem reprise)

<20220715223317.0000178c@reddwarf.jmc.corp>

https://www.novabbs.com/devel/article-flat.php?id=35705&group=comp.theory#35705

Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!news.freedyn.de!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx12.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: That is the question (halting problem reprise)
Message-ID: <20220715223317.0000178c@reddwarf.jmc.corp>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 15
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 15 Jul 2022 21:33:18 UTC
Date: Fri, 15 Jul 2022 22:33:17 +0100
X-Received-Bytes: 972

by: Mr Flibble - Fri, 15 Jul 2022 21:33 UTC

The Halting Problem question traditionally is:

"Does P halt?"

However I am of the view that the following question is equally valid
when speaking of the Halting Problem:

"Is P valid and does it halt?"

This is the question that my signaling halting decider answers.

Thoughts?

/Flibble

Bones: "The man's DEAD, Jim!"

devel / comp.theory / That is the question (halting problem reprise)

Subject	Author
That is the question (halting problem reprise)	Mr Flibble