Harold Jeffreys developed a fully Bayesian inductive logic using objective, invariant priors derived...