And, I notice, it has only gone as far as the computers allow. “True Bayesians” also have universal priors, that assign non-zero probability density to every logically possible hypothesis. Real Bayesian statisticians never do this; all those I have read deny that it is possible.
It is impossible, even in principal. The only way to have universal priors over all computable universes is if you have access to a source of hypercomputation, but that would mean the universe isn’t computable so the truth still isn’t in your prior set.
It is impossible, even in principal. The only way to have universal priors over all computable universes is if you have access to a source of hypercomputation, but that would mean the universe isn’t computable so the truth still isn’t in your prior set.
Is that written up as a theorem anywhere?
That depends on how one wants to formalize it.