2 ms·
Other math that you can't prove it's consistent, you end up just moving the problem one step away, but it's not going away.
by fabiospampinato 5y ago
Other math that you can't prove it's consistent, you end up just moving the problem one step away, but it's not going away.
- scotty79 5y agoYes. But you don't need the whole math to run the universe. Just a subset of your choosing. And you can go beyond that subset (to a wider god-math) to prove that this subset is consistent. And the fact that your extended god-math can't prove that it is itself fully consistent (doesn't generate any proofs of falsehoods) is not necessarily a problem. It's enough if no falsehoods were involved in the proof of the universe-math consistency. And that's entirely possible. Theorem you mentioned doesn't say anything about that.