"The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions" - читать интересную книгу автора (Martin Davis)