TY - BOOK AU - Chaitin, Gregory J. TI - Unknowable U1 - 511.3 PY - 2000/// CY - Singapore PB - Springer KW - Machine theory ER -