Algorithmic information theory
Chaitin, Gregory J.
Cambridge Cambridge University Press
1987
Includes bibliography and index
Electronic digital computers
Algorithms.
Metamathematics.
Incompleteness theorems.