Qiaochu_Yuan comments on How to offend a rationalist (who hasn't thought about it yet): a life lesson - Less Wrong

9 Post author: mszegedy 06 February 2013 07:22AM

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

Comments (109)

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

Comment author: Qiaochu_Yuan 11 February 2013 05:05:40PM 3 points [-]

we cannot hope to really prove anything about some true consistency.

Sure we can. If we found a contradiction in Peano arithmetic, we'd prove that Peano arithmetic is inconsistent.