Godel´s theorem and information /
Guardado en:
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | |
Publicado: |
[1974-1982]
|
Tabla de Contenidos:
- On the difficulty of computations ; To a mathematical definition of life ; Information-theoretic computational-complexity ; Randomness and mathematical proof ; A theory of program size formally identical to information theory ; Information-theoretic characterizations of recursive infinite strings ; Algorithmic information theory / Gregory J. Chaitin. What is computation / Martin Davis. A note on Monte Carlo primality test and algorithmic information theory / Gregory J. Chaitin and Jacob T. Schwartz. Mathematical games / Martin Gardner