Liste des Groupes | Revenir à theory |
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.
Les messages affichés proviennent d'usenet.