Suppose x represents the history of our universe up until now.
What is its most likely continuation
? Bayes' theorem yields
is the probability of z2, given knowledge of z1, and
is a normalizing factor. The most likely continuation y is
determined by P(xy), the prior probability of xy
-- compare the similar Equation (1).
Now what are the formally describable ways of assigning prior probabilities
In what follows we will first consider describable semimeasures on B*,
then probability distributions on