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