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

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