Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!3.eu.feeder.erje.net!feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx06.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Proposal: a working simulating halt decider that refutes [Strachey
1965] "Impossible Program" related HP proofs
Message-ID: <20220820002322.00004a42@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: 15
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 19 Aug 2022 23:23:23 UTC
Date: Sat, 20 Aug 2022 00:23:22 +0100
X-Received-Bytes: 1125