Essentially yes, but with the caveat that I want to find a model in which to frame that description that doesn’t require constant appeal to subjective experience to explain what a decision is while also not knowing what the program will do until it’s done it (no hypercomputation) and is not dependent on constantly modeling Omega’s uncertainty. Maybe that’s too much to ask, but it’s annoying to constantly have to frame things in terms of what was known at a particular time to have the notion of a decision or choice make sense, so ideally we find a framework for talking about these things that remains sensible while abstracting that detail away.
Essentially yes, but with the caveat that I want to find a model in which to frame that description that doesn’t require constant appeal to subjective experience to explain what a decision is while also not knowing what the program will do until it’s done it (no hypercomputation) and is not dependent on constantly modeling Omega’s uncertainty. Maybe that’s too much to ask, but it’s annoying to constantly have to frame things in terms of what was known at a particular time to have the notion of a decision or choice make sense, so ideally we find a framework for talking about these things that remains sensible while abstracting that detail away.