"Godel's Proof" - читать интересную книгу автора (Nagel, Newman)