The need for a firm foundation for probability was recognized by Hibert in the early 1900s [1]. While various foundations have been proposed which serve adequately in many practical situations, there are still nagging questions about the meaning of randomness which are usually swept under the carpet. Kolmogorov’s work (see, for example, [2]) is recognized as settling some of these questions, but his work is more alluded to than studied.
The present article proposes a new definition of randomness which satisfies more invariance properties than Kolmogorov’s definition. The author gives examples of how his definition many be used to simplify probability theory, intuitionistic mathematics, and the theory of Turing degrees.
This paper is succinct and tightly written. This reviewer had to constantly refer to the definitions and is still not certain that he followed all the arguments. While the paper suggests the usefulness of the new definition, more expository articles will be necessary before the author’s ideas have any impact.