Gödel's theorem and information

This publication has 14 references indexed in Scilit:

• The thermodynamics of computation—a review
  International Journal of Theoretical Physics, 1982
• SMP - A Symbolic Manipulation Program
  Published by Association for Computing Machinery (ACM) ,1981
• A note on monte carlo primality tests and algorithmic information theory
  Communications on Pure and Applied Mathematics, 1978
• What is a Computation?
  Published by Springer Nature ,1978
• Algorithmic Information Theory
  IBM Journal of Research and Development, 1977
• Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution
  Published by American Mathematical Society (AMS) ,1976
• A Theory of Program Size Formally Identical to Information Theory
  Journal of the ACM, 1975
• Randomness and Mathematical Proof
  Scientific American, 1975
• Information-Theoretic Limitations of Formal Systems
  Journal of the ACM, 1974
• Information-theoretic computation complexity
  IEEE Transactions on Information Theory, 1974