Мороз Б.З. — Диофантовы уравнения и доказуемость в математике
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Диофантовы уравнения и доказуемость в математике
Автор: Мороз Б.З.
Аннотация:
В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое
множество является диофантовым.
|
|
О проекте