"Godel's Theorem: An Incomplete Guide to Its Use and Abuse" - читать интересную книгу автора (Torkel Franzén)