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
Almost everything in maths is an axiom. We’re basically unable to prove that 1+1 is always 2 and that there isn’t a way to get 3 out of it.
Also if we take the universe we aren’t able to prove anything because we are inside the system and so anything we figure out is just an axiom that works for itself but can never be truly proven.
But none of that is a problem, because things work on that scale that we can observe and in which we can operate….
Kurt Gödel in the other hand feared his colleagues wraith and starved himself to dear because he thought they would poison him. 😅
Latest Answers