Eugine_Nier comments on Rationality Quotes March 2012 - Less Wrong

4 Post author: Thomas 03 March 2012 08:04AM

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

Sort By: Best

Show:

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

Comment author: Eugine_Nier 04 March 2012 12:44:23AM 1 point [-]

Anyone know whether it's proven that there are guaranteed to be non-self-referential truths which can't be derived from a given axiom system?

It is. At least, it's possible to express Goedel statements in the form "there exist integers that satisfy this equation".

(I'm not sure whether "self-referential" can be well-defined.)

It can't.

Comments (525)