I’m not a mathematician. Gödel proves that there are (true) theorems in math that cannot be proven formally from their axioms.
How is this significant? Isn’t it trivial?
Example:
“Axioms are: A,B,C are each true. Theorem is: D is true.”
While the theorem might be true, it obviously can’t be proven from the axioms.
I mean the example is utterly trivial, what is the catch? Does the example fall into those that Gödel addresses?
In: Mathematics
It isn’t trivial because in almost all cases, from some well chosen axioms we can either prove or disprove D.
Some D being true but unprovable is something that until Godel we didn’t know would always happen.
Latest Answers