RetroBBS - comp.ai.philosophy - Re: Proof by contradiction? HP solved. [ PSR Error ]

Re: Proof by contradiction? HP solved. [ PSR Error ]

<G4SdnaN4kshCFGj9nZ2dnUU7-V2dnZ2d@giganews.com>

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

copy link Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic

Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 19 Jul 2021 09:19:11 -0500
Subject: Re: Proof by contradiction? HP solved. [ PSR Error ]
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
References: <20210718132030.00004bd4@reddwarf.jmc>
From: NoOne@NoWhere.com (olcott)
Date: Mon, 19 Jul 2021 09:19:12 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.12.0
MIME-Version: 1.0
In-Reply-To: <20210718132030.00004bd4@reddwarf.jmc>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <G4SdnaN4kshCFGj9nZ2dnUU7-V2dnZ2d@giganews.com>
Lines: 28
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-XzvfibMQHr1Pn/Cf8W8v3awV4S9ha5MtphOtCQJKRJfCLLxwfzAjX1uKWQJyygbUjpaocsQ7/pYuhnC!2P2TauWI5p7YDkH2/iHSnPaYmCbOXBxJClyI4UUzIfvzyUE1ZnefRK2b+vBXPkdlBoUi2U+nPdjT
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2351

by: olcott - Mon, 19 Jul 2021 14:19 UTC

On 7/18/2021 7:20 AM, Mr Flibble wrote:
> Proof by contradiction and contradiction are not the same thing; just
> because there is a contradiction is doesn't necessarily follow that a
> proof can be based on it. In the case of the HP the contradiction
> can be avoided in the first place by having a third outcome: P(I) being
> invalid due to pathology that would result in the contradiction.
>
> HP solved; give me my 1 million USD pls.
>
> /Flibble
>

Pathological Input to a halt decider is defined as any input that was
defined to do the opposite of whatever its corresponding halt decider
decides.

This question can only be correctly answered after the pathology has
been removed. When a halt decider only acts as a pure simulator of its
input until after its halt status decision is made there is no feedback
loop of back channel communication between the halt decider and its
input that can prevent a correct halt status decision.

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Linux is obsolete -- Andrew Tanenbaum

computers / comp.ai.philosophy / Re: Proof by contradiction? HP solved. [ PSR Error ]

computers / comp.ai.philosophy / Re: Proof by contradiction? HP solved. [ PSR Error ]

Subject	Author
Re: Proof by contradiction? HP solved. [ PSR Error ]	olcott