4 ms·
> "Therefore, no physically complete and consistent theory of everything can be derived from computation alone. [...]" It wasn't stated why all truths need to
by karmakaze 1y ago
> "Therefore, no physically complete and consistent theory of everything can be derived from computation alone. [...]"
It wasn't stated why all truths need to be provable though. Perhaps the paper goes into this detail that I'd like explained.
- galaxyLogic 1y agoI think you nailed it. There are true statements which cannot be proven, yes. But those could be true statements also in the simulated universe. The simulation does not need to calculate the correct ANSWER to every question.
- karmakaze 1y agoThe incompleteness theorem doesn't even say that correct answers can't be computed, only that they can't be proven to be correct using the axioms of a consistent system.
- galaxyLogic 1y agoGood point. But you can say there is always the question "Can this be proven with our rules of logic?" It's a curious thing, I wonder how to precisely define "proving without logic". Proof by "meta-thinking"?
- theturtlemoves 1y agoFeels like the Halting Problem all over again...