Can we generalize this to mean “if a problem can’t exist in reality, an accurate simulation of it can’t exist either” or something along those lines? Can we prove this?
I would cast this sentence in this form, seeing that if a problem contains some infinite it’s impossibile for it to exist in reality. Can an infinite transition system be simulated by a finite transition sistem? If there’s only one which can be, then this would disprove your conjecture. The converse of course it’s not true...
I’m not sure what you mean by an infinite transition system. Are you referring to circular causality such as in Newcomb, or to an actually infinite number of states such as a variant of Sleeping Beauty in which on each day the coin is tossed anew and the experiment only ends once the coin lands heads?
Regardless, I think I have already disproven the conjecture I made above in another comment:
Omega predicting an otherwise irrelevant random factor such as a fair coin toss can be reduced to the random factor itself, thereby getting rid of Omega. Equivalence can easily be proven because regardless of whether we allow for backwards causality and whatnot, a fair coin is always fair and even if we assume that Omega may be wrong, the probability of error must still be the same for either side of the coin, so in the end Omega is exactly as random as the coin itself no matter Omega’s actual accuracy.
I would cast this sentence in this form, seeing that if a problem contains some infinite it’s impossibile for it to exist in reality. Can an infinite transition system be simulated by a finite transition sistem? If there’s only one which can be, then this would disprove your conjecture. The converse of course it’s not true...
I’m not sure what you mean by an infinite transition system. Are you referring to circular causality such as in Newcomb, or to an actually infinite number of states such as a variant of Sleeping Beauty in which on each day the coin is tossed anew and the experiment only ends once the coin lands heads?
Regardless, I think I have already disproven the conjecture I made above in another comment: