Martin-Löf randomness

GPTKB entity

Statements (32)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
randomness concept
gptkbp:alternativeName algorithmic randomness
gptkbp:appliesTo infinite binary sequences
reals in Cantor space
gptkbp:characterizedBy passing all effective statistical tests
random infinite binary sequences
gptkbp:contrastsWith gptkb:Kurtz_randomness
gptkb:Schnorr_randomness
computable randomness
gptkbp:definitionMethod statistical tests
computable measure zero sets
effectively null sets
gptkbp:field computability theory
algorithmic information theory
gptkbp:generalizes classical randomness
gptkbp:hasProperty effectively testable
measure one set
https://www.w3.org/2000/01/rdf-schema#label Martin-Löf randomness
gptkbp:introducedIn 1966
gptkbp:isWeakerThan gptkb:Chaitin_randomness
gptkb:Schnorr_randomness
gptkb:Solovay_randomness
gptkbp:namedAfter gptkb:Per_Martin-Löf
gptkbp:relatedTo gptkb:Kolmogorov_complexity
measure theory
effective null sets
gptkbp:usedIn gptkb:logic
gptkb:probability_theory
theoretical computer science
gptkbp:bfsParent gptkb:Per_Martin-Löf
gptkbp:bfsLayer 5