Message-ID:

The clearest way into the Universe is through a forest wilderness. -- John Muir

devel / comp.lang.c / Simulating halt deciders (SHDs) simply do not work; alas neither does Olcott.

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

<20221023155916.00004072@reddwarf.jmc.corp>

https://www.novabbs.com/devel/article-flat.php?id=23506&group=comp.lang.c#23506

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

Subject	Author
Simulating halt deciders (SHDs) simply do not work; alas neither	Mr Flibble