←back to thread

21 points mxkopy | 2 comments | | HN request time: 0s | source
Show context
aeve890 ◴[] No.45794593[source]
I'm surprised that the simulation hypothesis is even falsifiable. I mean, the guys above are supposed to be in a totally different level of existence from ours, how can we even start to think we can debug the simulation? Wouldn't that be already covered by beings way smarter than us?
replies(5): >>45796086 #>>45797330 #>>45797955 #>>45798488 #>>45798950 #
yehosef ◴[] No.45798488[source]
This. The main issue with how people approach the simulation hypothesis is by thinking that the beings that made our VMs are just like us.
replies(1): >>45804762 #
credit_guy ◴[] No.45804762[source]
I’ll play devil’s advocate. The beings that made our VMs are clearly superior. But the Halting theorem applies to them too. They too represent floating point numbers with finite precision. Does that mean we can catch them violating conservation laws? Maybe.

In any case, here’s some food for thought: ray tracing is undecidable [1]. If something is undecidable, it is for any form of computation, classical, quantum, or anything. Does this mean we can find some “glitches in the matrix”. It simply means such glitches are there (if we are in a similation). But they might be too infinitesimal for us to identify.

[1]https://users.cs.duke.edu/~reif/paper/tygar/raytracing.pdf

replies(1): >>45805168 #
1. unsupp0rted ◴[] No.45805168[source]
> But the Halting theorem applies to them too. They too represent floating point numbers with finite precision

Does it? Do they?

replies(1): >>45806930 #
2. credit_guy ◴[] No.45806930[source]
> Does it?

Yes. The halting theorem is a version of God's omnipotence paradox: if God is omnipotent, can he make a rock that's so heavy that he can't lift it? Either way, God's power is limited. Similarly, can God create a universal halting decider? If he can, then we can use that halting decider to create a program whose halting can't be decided. I won't bore you with the details, but the idea is that the "God" I used above can be anything. It can be the writers of the simulation we live in.

> Do they?

No matter who the writers of the simulation are, they are finite beings, and their devices are finite, one way or another. The set of real numbers is infinite and uncountable. So not all numbers can be represented. Any representation of real numbers will make approximations.