André Nies
- Published in print:
- 2009
- Published Online:
- May 2009
- ISBN:
- 9780199230761
- eISBN:
- 9780191710988
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230761.003.0007
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy
Martingales form the mathematical counterpart of betting strategies. This chapter studies computable randomness, where the tests are computable martingales, and separates it from both Martin–Löf ...
More
Martingales form the mathematical counterpart of betting strategies. This chapter studies computable randomness, where the tests are computable martingales, and separates it from both Martin–Löf randomness and Schnorr randomness. The chapter shows that each high degree contains a properly computably random (Schnorr random) set. It varies computable martingales, discussing stochasticity and non-monotonic betting strategies.Less
Martingales form the mathematical counterpart of betting strategies. This chapter studies computable randomness, where the tests are computable martingales, and separates it from both Martin–Löf randomness and Schnorr randomness. The chapter shows that each high degree contains a properly computably random (Schnorr random) set. It varies computable martingales, discussing stochasticity and non-monotonic betting strategies.