Vaniver comments on Completeness of simulations - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (31)
The concept of an "exact simulation" disquiets me on a deep level, which historically has suggested a wrong question is in the neighborhood.
I do agree with your sense that this is an interpretation of the Halting Problem, with the quirk that self-referential programs are explicitly mentioned.