Uniform test of algorithmic randomness over a general space

A formal theory of inductive inference. Part II

Ray J. Solomonoff · Information and Control · 1964 · 1.7K citations

Automated Reasoning, Knowledge Discovery, Inductive Logic +3

The Existence of Probability Measures with Given Marginals

Volker Strassen · The Annals of Mathematical Statistics · 1965 · 1.3K citations · Full text

Support Function, Measure Theory, Engineering +14

The definition of random sequences

Per Martin-Löf · Information and Control · 1966 · 1.2K citations

Engineering, Random Walks, Discrete Probability +4

A formal theory of inductive inference. Part I

Ray J. Solomonoff · Information and Control · 1964 · 1.2K citations

Automated Reasoning, Inductive Logic, Formal Theory +2

A Theory of Program Size Formally Identical to Information Theory

Gregory J. Chaitin · Journal of the ACM · 1975 · 874 citations · Full text