A choice is not made, it is “discovered” … choices we should be more or less happy to discover
The decision procedure is what’s making the choices. The diagonalization example was meant to illustrate that even an oracle predicts only at the pleasure of the decision procedure, and only the decision procedure gets to determine the choice. Nothing else gets to dictate to the decision procedure what the choice it, it’s not following a predetermined destiny, instead the destiny has no choice but obey the decision procedure. Also, decision procedures are us, we are the decision procedures when making our own choices, the decision procedures are not some external additional things.
Decision theory is about determining the output of the specific choice-making procedure “consider all available options and pick the best one in the moment”.
Sounds like a reasonable decision procedure. Except most of the options are inevitably not actually chosen, not what gets to actually happen, that’s just how it is. You get to choose which one is actual, and you are free to do so as you wish, since nothing but you determines which one that is, and all the oracles and laws of physics and transistors have to comply with whatever you choose (because that’s just what it means to predict/instantiate/execute you correctly).
The decision procedure is what’s making the choices. The diagonalization example was meant to illustrate that even an oracle predicts only at the pleasure of the decision procedure, and only the decision procedure gets to determine the choice. Nothing else gets to dictate to the decision procedure what the choice it, it’s not following a predetermined destiny, instead the destiny has no choice but obey the decision procedure. Also, decision procedures are us, we are the decision procedures when making our own choices, the decision procedures are not some external additional things.
Sounds like a reasonable decision procedure. Except most of the options are inevitably not actually chosen, not what gets to actually happen, that’s just how it is. You get to choose which one is actual, and you are free to do so as you wish, since nothing but you determines which one that is, and all the oracles and laws of physics and transistors have to comply with whatever you choose (because that’s just what it means to predict/instantiate/execute you correctly).