= 27d567bc2d48d9f40e9ccc20ea370b15)
NancyLebovitz comments on Rationality Quotes March 2012 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (525)
Goedel showed that no one can derive all of mathematics at all, whether in solitude or in a group, because any consistent system of axioms can't lead to all the true statements from their domain.
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? (I'm not sure whether "self-referential" can be well-defined.)
It is. At least, it's possible to express Goedel statements in the form "there exist integers that satisfy this equation".
It can't.