Home

Gregory_J.__Chaitin


A theory of program size formally identical to information theory

Information-theoretic Limitations of Formal Systems

On the length of programs for computing finite binary sequences