computer simulation/a projection of the Platonic Hyperuranium/a dream of a god
i feel like we shouldn’t be putting these two so close together.
“All mathematical statements are equally real”
and
“We are being simulated”
seem like two different claims that shouldn’t be blurred together—the first is a matter of ontology and semantics, the second is a matter of fact. If all mathematical structures are equally real it might have weird moral implications, especially for simulations, but even if we successfully reject the idea that all mathematical structures are equally real it does not rule out the simulation hypothesis, and if we accept the idea that all mathematical structures are equally real it does not confirm the simulation hypothesis.
Point of order:
i feel like we shouldn’t be putting these two so close together.
“All mathematical statements are equally real”
and
“We are being simulated”
seem like two different claims that shouldn’t be blurred together—the first is a matter of ontology and semantics, the second is a matter of fact. If all mathematical structures are equally real it might have weird moral implications, especially for simulations, but even if we successfully reject the idea that all mathematical structures are equally real it does not rule out the simulation hypothesis, and if we accept the idea that all mathematical structures are equally real it does not confirm the simulation hypothesis.