I’ve known since my first post on formalizing UDT that counterfactuals are about what the agent will prove, not what’s true.
What’s “true”? If it’s things that can be knowledge, proofs are affected. Even observations may affect proof strategies, as actions in a world where you get particular observations may be monstrously more efficient to find if you take observations into account. You’d just want to coordinate with other versions of yourself that observed differently and used different proof strategies.
What’s “true”? If it’s things that can be knowledge, proofs are affected. Even observations may affect proof strategies, as actions in a world where you get particular observations may be monstrously more efficient to find if you take observations into account. You’d just want to coordinate with other versions of yourself that observed differently and used different proof strategies.