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