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.

Mitchell_Porter comments on We live in an unbreakable simulation: a mathematical proof. - Less Wrong Discussion

-31 Post author: shminux 09 February 2015 04:01AM

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

Comments (20)

You are viewing a single comment's thread.

Comment author: Mitchell_Porter 10 February 2015 06:21:39AM 2 points [-]

None of the replies to this post actually address the crucial part of the argument: the step from the existence of mathematical truths beyond the reach of a specific formalization of mathematical reasoning, to the existence of a reality beyond or outside a specific physical theory of everything, on the grounds that a mathematical theory of physics must be subject to Goedelian incompleteness.