Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

[FORTRAN] will persist for some time -- probably for at least the next decade. -- T. Cheatham

computers / comp.ai.philosophy / Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]

SubjectAuthor
* Re: Olcott's theory [ Flibble understands pathological selfolcott
`- Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 200olcott

1
Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]

<-rqdneB3PuAWTmj9nZ2dnUU7-e_NnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.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: Mon, 19 Jul 2021 14:33:31 -0500
Subject: Re: Olcott's theory [ Flibble understands pathological self
reference(Olcott 2004) ]
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
References: <20210710180053.00005ad3@reddwarf.jmc>
From: NoOne@NoWhere.com (olcott)
Date: Mon, 19 Jul 2021 14:33:31 -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: <20210710180053.00005ad3@reddwarf.jmc>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <-rqdneB3PuAWTmj9nZ2dnUU7-e_NnZ2d@giganews.com>
Lines: 27
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-ht89+fKrGLfVkDJLf6gIwRRcVbeUh+FHNfVFoRskXcLfJG+qznL5TMgJ7jQOthAooWvghKd8I+B3L80!k1V/jFNmCl/kR4ZyjrIKhfNtRT03GE7ODXpXeF3dHzWNQJ4MUmOnYgzfjW1mGme22A+fOca8HgTb
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: 2285
X-Received-Bytes: 2495
 by: olcott - Mon, 19 Jul 2021 19:33 UTC

On 7/10/2021 12:00 PM, 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.
>
<snip error>
> /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.

On Sunday, September 5, 2004 at 11:21:57 AM UTC-5, Peter Olcott wrote:
> The Liar Paradox can be shown to be nothing more than
> a incorrectly formed statement because of its pathological
> self-reference. The Halting Problem can only exist because
> of this same sort of pathological self-reference.
https://groups.google.com/g/comp.theory/c/RO9Z9eCabeE/m/Ka8-xS2rdEEJ

--
Copyright 2021 Pete Olcott

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

Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]

<3M2dnWD6c5W9SGv9nZ2dnUU7-IvNnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.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: Tue, 20 Jul 2021 08:52:32 -0500
Subject: Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
References: <20210710180053.00005ad3@reddwarf.jmc> <-rqdneB3PuAWTmj9nZ2dnUU7-e_NnZ2d@giganews.com> <sd4kgc$dd7$1@gioia.aioe.org>
From: NoOne@NoWhere.com (olcott)
Date: Tue, 20 Jul 2021 08:52:31 -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: <sd4kgc$dd7$1@gioia.aioe.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Message-ID: <3M2dnWD6c5W9SGv9nZ2dnUU7-IvNnZ2d@giganews.com>
Lines: 53
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-pqBdbk6pNRJAQJ6udMqHYy3BxY7osjE4yapmE0RciQvUm12peWFQLIlVZ4ynK2fVHHbTUBZcvqISZIC!xo/WA92whhTAUXSlapKuNMK1hZxEUoA02SXUsXUoPjVYWUC9r7EKLXedheTaPH5T4hQwnRLso7CQ
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: 3391
 by: olcott - Tue, 20 Jul 2021 13:52 UTC

On 7/19/2021 2:40 PM, Peter wrote:
> olcott wrote:
>> On 7/10/2021 12:00 PM, 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.
>> <snip error>
>>> /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.
>
> Then you're not talking about halt deciders as usually understood.  A

Now we construct a new Turing machine D with H as a subroutine. This new
TM calls H to determine what M does when the input to M is its own
description ⟨M⟩. Once D has determined this information, it does the
opposite. (Sipser:1997:165) http://www.liarparadox.org/sipser_165.pdf

Sipser, Michael 1997. Introduction to the Theory of Computation. Boston:
PWS Publishing Company (165-167)

> halt decider takes _any_ TM/tape pair and decides if that TM halts when
> processing that tape.  ('Any' is a harmless exaggeration, obviously the
> tape symbols have to be ones in the TM's langugae.)
>
>>
>> On Sunday, September 5, 2004 at 11:21:57 AM UTC-5, Peter Olcott wrote:
>>  > The Liar Paradox can be shown to be nothing more than
>>  > a incorrectly formed statement because of its pathological
>>  > self-reference. The Halting Problem can only exist because
>>  > of this same sort of pathological self-reference.
>
> Not all self reference is pathological (one reason I chose my sig was to
> illustrate that point).  'Pete Olcott struggles to understand self
> reference' does not mean 'self reference is pathological'.
>
>>   https://groups.google.com/g/comp.theory/c/RO9Z9eCabeE/m/Ka8-xS2rdEEJ
>>
>>
>
>

--
Copyright 2021 Pete Olcott

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

computers / comp.ai.philosophy / Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor