"Hilbert's 10th Problem" - читать интересную книгу автора (Matijasevich Y.)