Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,comp.ai.philosophy Subject: Re: The philosophy of computation reformulates existing ideas on a new basis --- Date: Tue, 29 Oct 2024 09:58:50 -0500 Organization: A noiseless patient Spider Lines: 29 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 29 Oct 2024 15:58:51 +0100 (CET) Injection-Info: dont-email.me; posting-host="393123f3287a9aeded778d1158c0bfd1"; logging-data="1687762"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+6pVABqK1SPfeHZqlAAXB+" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:c0XB6vr8Zh6+o0CCE60btfO09ig= X-Antivirus: Norton (VPS 241029-2, 10/29/2024), Outbound message Content-Language: en-US X-Antivirus-Status: Clean In-Reply-To: Bytes: 2769 On 10/29/2024 9:50 AM, Andy Walker wrote: > On 29/10/2024 13:56, olcott wrote: >> To the best of my knowledge no one besides me ever came up with the >> idea of making a simulating halt decider / emulating termination >> analyzer. > >     The /idea/ is ancient, and certainly dates back at least to the > 1970s.  For a relatively informal discussion, see paragraph 3 of > >   http://www.cuboid.me.uk/anw/G12FCO/lect18.html > The word "simulate" or "UTM" or "interpret" was not there. Let me know what keyword to search for I have to prepare my house for my cancer treatment. > intended for second-year undergraduates and present on the web from 1996 > [though then as a Nottingham University web page].  I certainly didn't > invent the idea.  The same page includes some stuff about Busy Beavers. > You, and perhaps others, may also find some of the surrounding pages > [linked from that one] interesting, eg the stuff about UTMs and about > minimal computers.  Again, I am not claiming credit for inventing any > of this. > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer