Noncommutative Martin-Lof randomness : on the concept of a random sequence of qubits

Gavriel Segre

Martin-Lof's definition of random sequences of cbits as those not belonging to any set of constructive zero Lebesgue measure is reformulated in the language of Algebraic Probabilit…