"Десятая проблема Гильберта" - читать интересную книгу автора (Матиясевич Ю.В.)