Tasky comments on The Least Convenient Possible World - Less Wrong

165 Post author: Yvain 14 March 2009 02:11AM

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

Comments (186)

You are viewing a single comment's thread. Show more comments above.

Comment author: John_Baez 03 May 2010 12:03:38AM 6 points [-]

Or: it says "This is undecidable in Zermelo-Fraenkel set theory plus the axiom of choice". In the case of P=NP, I might believe it

Ask again, with another famously unsolved math problem. Repeat until it stops saying that or you run out of problems you know.

I would not believe a purported god if it said all 9 remaining Clay math prize problems are undecidable.

Comment author: Tasky 23 September 2011 10:52:49PM 0 points [-]

If it really is undecidable, God must be able to prove that.

However, I think an easier way to establish whether something is just your hallucination or a real (divine) being is asking them about something you couldn't possibly know about and then check if it's true.