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