Wouldn’t the Proof of Doom require a deterministic or a low-level probabilistic universe, in which the best you can do is observe what’s going on, without any ability to change things? Sort of like being inside the event horizon.
Not if I interpret you rightly. A man falling from an aeroplane into a field of whirling blades covered in poison is doomed, even though there are many actions he might take on the way down.
A man playing Death at chess is doomed, even though all the same actions are available to him as to his opponent.
Wouldn’t the Proof of Doom require a deterministic or a low-level probabilistic universe, in which the best you can do is observe what’s going on, without any ability to change things? Sort of like being inside the event horizon.
I don’t think so. A proof conditional on not taking any significantly different actions would be fine for this purpose.
Not if I interpret you rightly. A man falling from an aeroplane into a field of whirling blades covered in poison is doomed, even though there are many actions he might take on the way down.
A man playing Death at chess is doomed, even though all the same actions are available to him as to his opponent.