Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Thank heaven for startups; without them we'd never have any advances." -- Seymour Cray

computers / comp.ai.philosophy / Simulating halt deciders (SHDs) simply do not work; alas neither does Olcott.

SubjectAuthor
* Simulating halt deciders (SHDs) simply do not work; alas neitherMr Flibble
`* Re: Simulating halt deciders (SHDs) simply do not work; alas neitherolcott
 `- Re: Simulating halt deciders (SHDs) simply do not work; alasMr Flibble

1
Simulating halt deciders (SHDs) simply do not work; alas neither does Olcott.

<20221023155916.00004072@reddwarf.jmc.corp>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic comp.lang.c++ comp.ai.philosophy comp.lang.c
Path: i2pn2.org!rocksolid2!news.neodome.net!news.uzoreto.com!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!fx07.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory,sci.logic,comp.lang.c++,comp.ai.philosophy,comp.lang.c
Subject: Simulating halt deciders (SHDs) simply do not work; alas neither
does Olcott.
Message-ID: <20221023155916.00004072@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: 18
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Sun, 23 Oct 2022 14:59:16 UTC
Date: Sun, 23 Oct 2022 15:59:16 +0100
X-Received-Bytes: 1401
 by: Mr Flibble - Sun, 23 Oct 2022 14:59 UTC

Hi!

Simulating halt deciders (SHDs) simply do not work.

Why? A turing machine should be able to implement ANY algorithm and as
such it is an idealisation, an INFINITE STATE MACHINE (ISM) if you will.

A simulating halt decider (SHD) can only over be implemented as a FINITE
STATE MACHINE (FSM) so is not suitable for a) solving the halting
problem or b) refuting the halting problem proofs.

Olcott has wasted the last 18 years of his life with what he thinks he
invented (SHDs). Alas the deluded dear hasn't even invented a halt
decider, all he has invented is a particularly useless form of
simulation detector.

/Flibble

Re: Simulating halt deciders (SHDs) simply do not work; alas neither does Olcott.

<tj3llf$1938f$2@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy
Path: i2pn2.org!i2pn.org!paganini.bofh.team!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: Simulating halt deciders (SHDs) simply do not work; alas neither
does Olcott.
Date: Sun, 23 Oct 2022 10:12:47 -0500
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <tj3llf$1938f$2@dont-email.me>
References: <20221023155916.00004072@reddwarf.jmc.corp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 23 Oct 2022 15:12:47 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="8775a38d471884439237fd3918428de8";
logging-data="1346831"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18o2IIQKpxmAqgpuOIMXaVw"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.4.0
Cancel-Lock: sha1:gBdY78Nfk5XUNof5ZJs0CueAJ5E=
In-Reply-To: <20221023155916.00004072@reddwarf.jmc.corp>
Content-Language: en-US
 by: olcott - Sun, 23 Oct 2022 15:12 UTC

*Please do not post to comp.lang.c or you will kill it*

On 10/23/2022 9:59 AM, Mr Flibble wrote:
> Hi!
>
> Simulating halt deciders (SHDs) simply do not work.
>
> Why? A turing machine should be able to implement ANY algorithm and as
> such it is an idealisation, an INFINITE STATE MACHINE (ISM) if you will.
>

The machine operates on an infinite[4] memory tape divided into discrete
cells,[5] each of which can hold a single symbol drawn from a finite set
of symbols called the alphabet of the machine. It has a "head" that, at
any point in the machine's operation, is positioned over one of these
cells, and a "state" selected from a *finite set of states*.
https://en.wikipedia.org/wiki/Turing_machine

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

Re: Simulating halt deciders (SHDs) simply do not work; alas neither does Olcott.

<20221023161856.0000404a@reddwarf.jmc.corp>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy comp.lang.c++ comp.lang+c
Path: i2pn2.org!rocksolid2!news.neodome.net!news.uzoreto.com!newsreader4.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx15.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.lang.c++,comp.lang+c
Subject: Re: Simulating halt deciders (SHDs) simply do not work; alas
neither does Olcott.
Message-ID: <20221023161856.0000404a@reddwarf.jmc.corp>
References: <20221023155916.00004072@reddwarf.jmc.corp>
<tj3llf$1938f$2@dont-email.me>
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: 26
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Sun, 23 Oct 2022 15:18:55 UTC
Date: Sun, 23 Oct 2022 16:18:56 +0100
X-Received-Bytes: 1830
 by: Mr Flibble - Sun, 23 Oct 2022 15:18 UTC

On Sun, 23 Oct 2022 10:12:47 -0500
olcott <polcott2@gmail.com> wrote:

> *Please do not post to comp.lang.c or you will kill it*
>
> On 10/23/2022 9:59 AM, Mr Flibble wrote:
> > Hi!
> >
> > Simulating halt deciders (SHDs) simply do not work.
> >
> > Why? A turing machine should be able to implement ANY algorithm and
> > as such it is an idealisation, an INFINITE STATE MACHINE (ISM) if
> > you will.
>
> The machine operates on an infinite[4] memory tape divided into
> discrete cells,[5] each of which can hold a single symbol drawn from
> a finite set of symbols called the alphabet of the machine. It has a
> "head" that, at any point in the machine's operation, is positioned
> over one of these cells, and a "state" selected from a *finite set of
> states*. https://en.wikipedia.org/wiki/Turing_machine

Nope. I am including the tape as part of the machine's state just as we
include machine memory as being part of an SHD's state.

/Flibble

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor