Algorithmic information theory
DOI10.2307/2274821zbMath0713.03001MaRDI QIDQ3197800
Michiel Marian Michiel van Lambalgen
Publication date: 1989
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/algorithmic-information-theory(3d79c1da-640d-478d-b057-17f56bc2892b).html
thermodynamics; Kolmogorov complexity; Gödel's first incompleteness theorem; chaos theory; randomness; information content; r.e. sets; Chaitin's incompleteness theorem
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
68Q30: Algorithmic information theory (Kolmogorov complexity, etc.)
94A15: Information theory (general)
03D25: Recursively (computably) enumerable sets and degrees
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items