RichardKennaway comments on Rationality Quotes - September 2009 - Less Wrong

2 Post author: thomblake 01 September 2009 03:06PM

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

Tags: quotes

Comments (101)

Sort By: Best

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

Comment author: RichardKennaway 04 September 2009 01:02:04PM 2 points [-]

That's a pretty strong claim. Is there a proof? Or did you just mean that consistency checking is in NP?

It's worse than that, consistency checking is undecidable. This is implied by Gödel's second incompleteness theorem.