Solomonoff: a formal theory of inductive inference, Part I

What changed

Formulated sequence induction using priors tied to the lengths of programs for a universal Turing machine and related several models of inductive prediction to a Bayesian formulation.

Scientific scope

The record is the exact 1964 Part I paper. Solomonoff’s 1960 report, Part II, later algorithmic-information formulations, computability limitations and practical approximations remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1964 Part I paper. Solomonoff’s 1960 report, Part II, later algorithmic-information formulations, computability limitations and practical approximations remain separate.

Contributors

• Ray J. Solomonoff · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Elsevier record for Solomonoff inductive inference Part I
• Solomonoff publication archive for Part I

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction