The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
On the Length of Programs for Computing Finite Binary Sequences
Journal of the ACM (JACM)
On the Length of Programs for Computing Finite Binary Sequences: statistical considerations
Journal of the ACM (JACM)
On the Simplicity and Speed of Programs for Computing Infinite Sets of Natural Numbers
Journal of the ACM (JACM)
Computational Complexity and Probability Constructions
Journal of the ACM (JACM)
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
To a mathematical definition of 'life'
ACM SIGACT News
Cryptology and complexity theories
Proc. of the EUROCRYPT 84 workshop on Advances in cryptology: theory and application of cryptographic techniques
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Randomness, Computability, and Density
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Schnorr Trivial Reals: A construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Universal Recursively Enumerable Sets of Strings
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Modeling visual information processing in brain: a computer vision point of view and approach
BVAI'07 Proceedings of the 2nd international conference on Advances in brain, vision and artificial intelligence
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Universal recursively enumerable sets of strings
Theoretical Computer Science
Proceedings of the 2011 workshop on New security paradigms workshop
Very Simple Chaitin Machines for Concrete AIT
Fundamenta Informaticae
Hi-index | 0.00 |
This paper reviews algorithmic information theory, which is an attempt to apply information-theoretic and probabilistic ideas to recursive function theory. Typical concerns in this approach are, for example, the number of bits of information required to specify an algorithm, or the probability that a program whose bits are chosen by coin flipping produces a given output. During the past few years the definitions of algorithmic information theory have been reformulated. The basic features of the new formalism are presented here and certain results of R. M. Solovay are reported.