算法信息论与鞅
Algorithmic information theory and martingales
AI总结：
本文追溯个体随机序列概念的演变，重点介绍鞅的应用及20世纪60-70年代算法信息论的发展，并评述其在概率论基础中的应用。
摘要：
个体随机序列的概念可追溯至冯·米塞斯。我们描述了这一概念的演变，尤其是鞅的应用（由维尔提出），以及20世纪60年代和70年代算法信息论的发展（所罗门诺夫、柯尔莫哥洛夫、马丁-洛夫、莱文、柴廷、施诺尔等人）。最后，我们对算法信息论在概率论基础中的应用进行了一些评述。
英文摘要：
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 development of algorithmic information theory in 1960s and 1970s (Solomonov, Kolmogorov, Martin-Lof, Levin, Chaitin, Schnorr and others). We conclude with some remarks about the use of the algorithmic information theory in the foundations of probability theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
