Algorithmic information theory and martingales

Laurent Bienvenu, Alexander Shen

The notion of an individual random sequence goes back to von Mises. We describe the evolution of this notion, especially the use of martingales (suggested by Ville), and the develo…