Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Spock: We suffered 23 casualties in that attack, Captain.

computers / comp.ai.philosophy / Re: Halting Problem proofs appear to be bogus!

SubjectAuthor
o Re: Halting Problem proofs appear to be bogus!olcott

1
Re: Halting Problem proofs appear to be bogus!

<UpGdnbNK8OqVZWz9nZ2dnUU7-d_NnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!4.us.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 16 Jul 2021 16:20:08 -0500
Subject: Re: Halting Problem proofs appear to be bogus!
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
References: <20210716142416.00003996@reddwarf.jmc> <scs517$1usk$1@gioia.aioe.org> <20210716153637.000036c0@reddwarf.jmc> <scsse2$sf$1@gioia.aioe.org>
From: NoO...@NoWhere.com (olcott)
Date: Fri, 16 Jul 2021 16:20:08 -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: <scsse2$sf$1@gioia.aioe.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Message-ID: <UpGdnbNK8OqVZWz9nZ2dnUU7-d_NnZ2d@giganews.com>
Lines: 48
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-CR6RhoyPbW2c6A6gkM0d4SL6xtxvmsIzSPB4fFtyLsJFVPnFRdGEoaSzWDhMkRYRWzxdaD3t78vYVK8!pIm65lSnsTCzwMMPvyjWHF7i/QL+GlBBUbcTpXwUbCv3Av8Cs6cKEjsfQOFCWTxY8XBK2sIfdMaB
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: 3045
 by: olcott - Fri, 16 Jul 2021 21:20 UTC

On 7/16/2021 4:07 PM, Peter wrote:
> Mr Flibble wrote:
>> On Fri, 16 Jul 2021 15:27:53 +0100
>> Peter <peterxpercival@hotmail.com> wrote:
>>
>>> Mr Flibble wrote:
>>>> Hi!
>>>>
>>>> All extant halting problem proofs appear to be predicated on a
>>>
>>> Since you haven't read them all, you are in no position to make such
>>> a claim.
>>
>> Whether or not I am in a position to make such a claim has no bearing
>> on whether the claim is true or false.  Feel free to refute my claim,
>> dear.
>>
>> /Flibble
>>
>>
> Ahem... the onus is on you to prove your--utterly implausible--claim.
>

He has already proved that any requirement for a program/TM to return a
halt status value to an input to does the opposite of whatever the halt
decider returns is bogus. The meaning of these words proves that such a
case has the exactly same bogus pattern as the liar paradox.

Generically this can be understood as the scientific principle that the
dependent variable of a scientific investigation is not allowed to
interfere with the independent variable.

When P interferes with H this scientific principle is violated. Flibble
spotted this error and thus has a correct basis for his claim.

On Saturday, July 10, 2021 at 12:00:56 PM UTC-5, Mr Flibble wrote:
> I agree with Olcott that a halt decider can NOT be part of that which
> is being decided (see [Strachey 1965]) which, if Olcott is correct,
> falsifies a collection of proofs (which I don't have the time to
> examine) which rely on that mistake.
>
> /Flibble

--
Copyright 2021 Pete Olcott

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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor