You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Vaniver comments on Completeness of simulations - Less Wrong Discussion

1 Post author: RolfAndreassen 24 August 2012 10:44PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (31)

You are viewing a single comment's thread.

Comment author: Vaniver 25 August 2012 02:11:44AM *  -1 points [-]

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.