"Information theoretic incompleteness" - читать интересную книгу автора (Chaitin G.)