algorithmic information theory

E774596

Algorithmic information theory is a branch of theoretical computer science and mathematics that studies the complexity and information content of objects using concepts like Kolmogorov complexity and randomness.

All labels observed (2)

How this entity was disambiguated

Statements (69)

Predicate Object
instanceOf branch of mathematics
branch of theoretical computer science
research field
appliedIn cryptography
data compression
foundations of probability
foundations of statistics
machine learning theory
philosophy of mathematics
theoretical computer science
basedOnConcept Turing machines
linked to: Turing machine

computability theory
information theory
measure theory
probability theory
fieldOfStudy Chaitin’s Omega
linked to: Chaitin's constant

Kolmogorov complexity
algorithmic probability
algorithmic randomness
conditional Kolmogorov complexity
descriptional complexity
effective dimension
formal notions of randomness
incompressibility method
information content of finite objects
minimum description length principle
mutual information between strings
plain Kolmogorov complexity
prefix codes
prefix-free complexity
universal Turing machines
linked to: Turing machine

universal distributions
hasKeyConcept Chaitin’s incompleteness theorem
linked to: Chaitin's constant

Hausdorff dimension of sequences
Kolmogorov complexity
Levin complexity
Martin-Löf randomness
Solomonoff induction
algorithmic randomness
effective null sets
incompressible strings
monotone complexity
mutual information of finite objects
plain Kolmogorov complexity
prefix Kolmogorov complexity
prefix-free machines
random sequences
self-delimiting programs
universal semimeasure
hasPioneer Andrey Kolmogorov
linked to: Andrei Kolmogorov

Gregory Chaitin
Per Martin-Löf
Ray Solomonoff
hasProperty connects randomness with incompressibility
defines information via shortest effective description
provides machine-independent complexity up to additive constant
uses programs as descriptions of objects
yields incompleteness results for formal systems
relatedTo Shannon information theory
linked to: information theory

complexity theory
computability theory
mathematical logic
probability theory
studies complexity of finite strings
formal definitions of randomness
information content of objects
limits of data compression
randomness of infinite sequences
relationships between computation and information

How these facts were elicited

Referenced by (6)

Full triples — surface form annotated when it differs from this entity's canonical label.

Martin-Löf randomness field algorithmic information theory
minimum description length principle basedOn algorithmic information theory
Gregory Chaitin hasAcademicWork Algorithmic Information Theory
linked to: algorithmic information theory
Chaitin's constant fieldOfWork algorithmic information theory
subject linked to: Gregory Chaitin