Elementary Proof of a Theorem of Jean Ville
| dc.creator | Lieb, Elliott H. | |
| dc.creator | Osherson, Daniel | |
| dc.creator | Weinstein, Scott | |
| dc.date | 2006-07-11 | |
| dc.date.accessioned | 2026-07-07T07:16:19Z | |
| dc.date.available | 2026-07-07T07:16:19Z | |
| dc.description | Considerable thought has been devoted to an adequate definition of the class of infinite, random binary sequences (the sort of sequence that almost certainly arises from flipping a fair coin indefinitely). The first mathematical exploration of this problem was due to R. Von Mises, and based on his concept of a "selection function." A decisive objection to Von Mises' idea was formulated in a theorem offered by Jean Ville in 1939. It shows that some sequences admitted by Von Mises as "random" in fact manifest a certain kind of systematicity. Ville's proof is challenging, and an alternative approach has appeared only in condensed form. We attempt to provide an expanded version of the latter, alternative argument. | |
| dc.description | 12 pages latex | |
| dc.identifier | https://arxiv.org/abs/cs/0607054 | |
| dc.identifier | http://arxiv.org/abs/cs/0607054 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/113546 | |
| dc.subject | Computational Complexity | |
| dc.title | Elementary Proof of a Theorem of Jean Ville | |
| dc.type | text |