On Schnorr and computable randomness, martingales, and machines

摘要

We examine the randomness and triviality of reals using notions arising from martingales and prefix-free machines.