Eliezer_Yudkowsky comments on Belief in Belief - Less Wrong

66 Post author: Eliezer_Yudkowsky 29 July 2007 05:49PM

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

Comments (164)

Sort By: Old

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

Comment author: Eliezer_Yudkowsky 01 December 2009 12:10:55AM 5 points [-]

If you trust base system B, then a proof that P is provable in B is good as gold to you. But it is not a proof in B.

http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/