4 ms·
> it's definitely not impossible a priori and especially not because of Gödel. You forgot something there: you know the underlying system and about its existen
by qayxc 5y ago
> it's definitely not impossible a priori and especially not because of Gödel.
You forgot something there: you know the underlying system and about its existence. In the absence of this knowledge it's indeed impossible to know.
Here's an example from real-life physics: there's no way of telling by means of measurement, whether you're accelerating or at rest but subjected to a gravitational field.
A software example would be this: how would a program written and running in Factorio (like Pong [0]) be able to tell that it's implemented by means of video game mechanics running in an emulator executed within a VM on server hardware?
If the programming environment itself features no way of interrogating its runtime environment, then there's just no way.
[0] https://forums.factorio.com/viewtopic.php?t=76155 https://forums.factorio.com/viewtopic.php?t=76155
- Tenoke 5y agoIf we assume that this is running in a truly huge Factorio instance then monitoring the world intently would reveal so many subtle bugs and inconsistencies in a world with otherwise extremely straightforward laws that being in a simulation should be a prime hypothesis.