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.

AlexMennen 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.

Article Navigation

Comments (20)

Comments (20)

You are viewing a single comment's thread.

Comment author: AlexMennen 10 February 2015 07:19:54AM 3 points [-]

Step 3: By Godel's incompleteness, there are some theorems in this formal system that cannot be proven.

No. That is not what Godel's incompleteness theorem says.

Powered by Reddit Powered by Reddit