Диофантовы уравнения и доказуемость в математике

Диофантовы уравнения и доказуемость в математике Мороз Б.З.
Печатное издание
Электронное издание
Автор:
Мороз Б.З.
Название:
Диофантовы уравнения и доказуемость в математике
Издательство:
МЦНМО
ISBN:
978-5-94057-375-3
Год издания:
2008
Тираж:
800 экз.
Количество страниц:
56 стр.
Формат:
140x190x3
Есть в продаже

В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое множество является диофантовым.