Автор: Матиясевич Ю.В.
Издательство: Физматлит
Год: 1993
ISBN: 5-02-014326-X
Формат: pdf
Страниц: 224
Размер: 65,6 Mb
Язык: Русский
Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.