Tom Sterkenburg | Prequential randomness and probability ---- Vovk and Shen

I will start with an accessible introduction to the philosophical/historical background of the problem of defining a randomness notion for infinite outcome sequences. Then I will present the main result of this paper: the equivalence of two different ways -- following the game-theoretic and the measure-theoretic paradigm, respectively -- of defining the randomness of sequences of prediction-outcome pairs. If time permits, we might discuss in some more detail the prequential approach to probability, that motivated this paper.