Error comments on No License To Be Human - Less Wrong

18 Post author: Eliezer_Yudkowsky 20 August 2008 11:18PM

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

Comments (45)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Error 21 September 2012 06:17:41PM 0 points [-]

Does this sound a little less indefensible, if I mention that PA trusts only proofs from the PA axioms, not proofs from every possible set of axioms?

This makes me wonder if something interesting might be said about a system that does trust proofs from every possible set of axioms. Or a system that consists of every possible axiom.

It would be inconsistent, obviously, but what else?