Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого
техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.