"Godel's theorem: an incomplete guide to its use and abuse" - читать интересную книгу автора (Torkel Franzen)