Диофантовы уравнения и доказуемость в математике
В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.
ISBN: 978-5-94057-375-3
Издательство:
МЦНМО
Дата выхода: декабрь 2008
Найденных опечаток пока нет
Добавить запись