Burden of proof I enjoy the game Secret Hitler. If you're unfamilliar with the game, the rules can be found here: https://secrethitler.com/assets/Secret_Hitler_Rules.pdf In this game, like in many social deception games, players love to make claims about what you should always or never do when playing. In general, I reject...
I enjoy the game Secret Hitler. If you're unfamilliar with the game, the rules can be found here: https://secrethitler.com/assets/Secret_Hitler_Rules.pdf In this game, like in many social deception games, players love to make claims about what you should always or never do when playing. In general, I reject such claims since most pure strategies in hidden information games are exploitable. The true mixed-strategy Nash equilibrium for Secret Hitler inevitably will involve non-zero and non-100% probabilities for most actions.
Some examples of bad 100% policies that I've heard:
AI Safety, Anthropomorphizing, and Action Spaces
In answer to the question of how can something be true, but not provable I want to point to the Goldbach conjecture which says "every even number > 2 is the sum of two primes". If the Goldbach conjecture is false then there's a counterexample which can be checked in finite time (eg. just try adding all pairs of primes less than that number although there are faster ways). If there isn't a counterexample then the Goldbach conjecture is true. To be provable however, there would have to exist a proof of the Goldbach conjecture. No such proof is known to exist. Here "truth" is exactly what it intuitively means. Either a counterexample exists or it doesn't. The "truth" of the Goldbach conjecture won't depend on your choice of axioms. All you need are the primitives necessary to define the natural numbers, primality, and addition (in particular, it won't depend on AC).