让维尔定理的一个初等证明
摘要：关于无限随机二进制序列的适当定义已引起人们的深思（这类序列几乎可以肯定是从无限次投掷公平硬币中得到的）。对这个问题的首次数学探索是由R. Von Mises进行的，基于他的“选择函数”的概念。对Von Mises的想法的一个决定性反驳是由Jean Ville在1939年提出的一个定理。该定理表明，Von Mises所认为“随机”的一些序列实际上具有某种系统性。Ville的证明具有挑战性，而另一种方法只以简略形式出现。我们试图提供后者的详细版本。
作者：Elliott H. Lieb, Daniel Osherson and Scott Weinstein
论文ID：cs/0607054
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23