Psy-Kosh 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: Psy-Kosh 29 November 2009 03:11:07AM *  2 points [-]

Hrm... if the system is isn't necessarily trustworthy, then that the system proves that it can prove P doesn't mean that it's actually true that it can prove P, I guess.

EDIT: actually, having it as an explicit axiom "If this proves P, then P" runs you into trouble in any system that has something like Lob's theorem.

("if some specific subset of the rest of this system, (ie, other than this axiom) proves P, then P" can potentially be okay, though)