Can We Prove Whether We Live in a Simulation?