Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

You can't have everything... where would you put it? -- Steven Wright


computers / comp.ai.philosophy / Re: Halt deciders

SubjectAuthor
o Re: Halt decidersolcott

1
Re: Halt deciders

<tijule$3fa79$4@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=9915&group=comp.ai.philosophy#9915

 copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy
Path: i2pn2.org!i2pn.org!aioe.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: Halt deciders
Date: Mon, 17 Oct 2022 11:08:15 -0500
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <tijule$3fa79$4@dont-email.me>
References: <tij7cg$123$1@gioia.aioe.org> <tijil3$3esa0$1@dont-email.me>
<tiju69$16pu$1@gioia.aioe.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Oct 2022 16:08:14 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="82dceece589390cc81ee54b9db55b567";
logging-data="3647721"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18ePeHKG1adBySKugsKqJ4W"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.3.3
Cancel-Lock: sha1:6AsExBe7TrQ+Xq10XJAQWmiT31s=
In-Reply-To: <tiju69$16pu$1@gioia.aioe.org>
Content-Language: en-US
 by: olcott - Mon, 17 Oct 2022 16:08 UTC

On 10/17/2022 11:00 AM, Andy Walker wrote:
> On 17/10/2022 13:43, Mikko wrote:
> {Fred. Zwarts:]
>>> Paradoxical program:
>> Also called "pathological program"
>
>     Just an additional comment.  The use of words such as
> "paradoxical", "pathological", "impossible", ... conveys to the
> unwary reader a notion that these programs are difficult, or
> unreasonable, in some way.  Not so;  they are merely counter-
> examples.  *If* you claim to have a program "H" that [you claim]
> is a "halt decider", *then*, sorry, your claim is incorrect, and
> /here/ is a program "P" on which "H" fails [where "here" denotes
> the standard "do the opposite" construction much discussed here].

*Professor Sipser has agreed to these verbatim words* (and no more)
If simulating halt decider H correctly simulates its input D until H
correctly determines that its simulated D would never stop running
unless aborted then H can abort its simulation of D and correctly report
that D specifies a non-halting sequence of configurations.

The above notion of a simulating halt decider defeats this "do the
opposite" construction as proven on page 3:

*Rebutting the Sipser Halting Problem Proof*
https://www.researchgate.net/publication/364302709_Rebutting_the_Sipser_Halting_Problem_Proof

--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor