A new version of algorithmic information theory.

From MaRDI portal



Abstract: This material was presented in a series of lectures at the Santa Fe Institute, the Los Alamos National Laboratory, and the University of New Mexico, during a one-month visit to the Santa Fe Institute, April 1995.


Summary: We present a much more concrete version of algorithmic information theory in which one can actually run on a computer the algorithms in the proofs of a number of key information-theoretic incompleteness theorems.











This page was built for publication: A new version of algorithmic information theory.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q960451)