(untitled) - Gregory J. Chaitin (Cambridge, UK, 1987)
Keywords: electronic digital computers,algorithms,metamathematics,incompleteness theorems; programming