3b) Our ignorance doesn’t change the fact that, if the scanner is in principle repeatable, reality contains a contradiction. Type 3 is just impossible.
5) If I were in this situation, I’d assume a prior over possible Omegas that gave large weight to types 1 and 2, which means I would one-box. My prior is justified because a workable Omega of type 3 or 4 is harder for me to imagine than 1 or 2. Disagree? What would you do as a good Bayesian?
No—it just means it can’t be perfect. A scanner that works 99.9999999% of the time is effectively indistinguishable from a 100% for the purpose of the problem. One that is 100% except in the presence of recursion is completely identical if we can’t construct such a scanner.
My prior is justified because a workable Omega of type 3 or 4 is harder for me to imagine than 1 or 2. Disagree? What would you do as a good Bayesian?
I would one-box, but I’d do so regardless of the method being used, unless I was confident I could bluff Omega (which would generally require Omega-level resources on my part). It’s just that I don’t think the exact implementation Omega uses (or even whether we know the method) actually matter.
3b) Our ignorance doesn’t change the fact that, if the scanner is in principle repeatable, reality contains a contradiction. Type 3 is just impossible.
5) If I were in this situation, I’d assume a prior over possible Omegas that gave large weight to types 1 and 2, which means I would one-box. My prior is justified because a workable Omega of type 3 or 4 is harder for me to imagine than 1 or 2. Disagree? What would you do as a good Bayesian?
No—it just means it can’t be perfect. A scanner that works 99.9999999% of the time is effectively indistinguishable from a 100% for the purpose of the problem. One that is 100% except in the presence of recursion is completely identical if we can’t construct such a scanner.
I would one-box, but I’d do so regardless of the method being used, unless I was confident I could bluff Omega (which would generally require Omega-level resources on my part). It’s just that I don’t think the exact implementation Omega uses (or even whether we know the method) actually matter.