Random sequences are usually defined with respect to a probability distribution P (a sigma-additive set function, normed to one, defined over a sigma-algebra) assuming Kolmogorov's axioms for probability theory. In this paper, without using this axiomatics, we give a definition of random (typical) sequences taking as primitive the notion of a martingale and using the principle of the excluded gambling strategy. In this purely game-theoretic framework, no probability distribution or, partially or fully specified, system of conditional probability distributions need to be introduced. For these typical sequences, we prove direct algorithmic versions of Kolmogorov's strong law of large numbers and of the upper half of Kolmogorov's law of the iterated logarithm.

Purely game-theoretic random sequences: I. Strong law of large numbers and law of the iterated logarithm

MINOZZO, Marco
2000-01-01

Abstract

Random sequences are usually defined with respect to a probability distribution P (a sigma-additive set function, normed to one, defined over a sigma-algebra) assuming Kolmogorov's axioms for probability theory. In this paper, without using this axiomatics, we give a definition of random (typical) sequences taking as primitive the notion of a martingale and using the principle of the excluded gambling strategy. In this purely game-theoretic framework, no probability distribution or, partially or fully specified, system of conditional probability distributions need to be introduced. For these typical sequences, we prove direct algorithmic versions of Kolmogorov's strong law of large numbers and of the upper half of Kolmogorov's law of the iterated logarithm.
2000
Algorithmic probability theory; Almost sure limit theorems; Martingales; Typical sequences
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/231911
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact