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.)
Didn’t Gödel show that nobody can derive all of mathematics in solitude because you can’t have a complete and consistented mathamatical framework?
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.