As obvious from equations (1) and (15),
some observer's future depends
on the prior from which his/her universe is sampled.
More or less general
notions of TM-based describability put forward above lead to
more or less dominant priors such as
PG on formally describable universes,
PE and
on enumerable universes,
PM and
and recursive priors on monotonically computable universes,
S on S-describable universes.
We will now comment on the plausibility of each, and discuss some consequences.
Prior S, the arguably most plausible and natural
one, provokes specific predictions concerning our future.
For a start, however, we will briefly review Solomonoff's traditional theory of
inductive inference based on recursive priors.