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
|