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