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