Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis ---
De : anw (at) *nospam* cuboid.co.uk (Andy Walker)
Groupes : comp.theory comp.ai.philosophyDate : 29. Oct 2024, 15:50:24
Autres entêtes
Organisation : Not very much
Message-ID : <vfqsng$1gikg$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
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.htmlintended 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.
-- Andy Walker, Nottingham. Andy's music pages: www.cuboid.me.uk/andy/Music Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Pridham
…