Gregory J. Chaitin Algorithmic Information Theory. 350-359 1977 21 IBM Journal of Research and Development 4 db/journals/ibmrd/ibmrd21.html#Chaitin77