"Hilbert's 10th Problem" - читать интересную книгу автора (Yuri Matiyasevich, Martin Davis, Hilary Putnam)