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

-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)

Sort By: Best

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.