"The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions" - читать интересную книгу автора (Martin Davis)