Re: The philosophy of computation reformulates existing ideas on a new basis ---

On 10/29/2024 8: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

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.

You may have noticed that the moron responded to your message in less
than 10 minutes. Do you think he read the material before responding? A
good troll would have waited a few hours before answering.
--
Jeff Barnett