Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,comp.ai.philosophy Subject: Re: The philosophy of computation reformulates existing ideas on a new basis --- Date: Tue, 29 Oct 2024 21:17:34 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 30 Oct 2024 01:17:34 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="78400"; mail-complaints-to="usenet@i2pn2.org" User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: Bytes: 2553 Lines: 35 On 10/29/24 10:58 AM, olcott wrote: > 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. Look at the third paragraph. Its first sentence talks about the method to use, EMULATION. I guess you are just admitting you can't read, > >> 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. >> > >