Основания математики. Математическая логика. Теория чисел

Список источников >Учебная литература >Студентам и аспирантам >Естественные науки. Математика >Математика >Основания математики. Математическая логика. Теория чисел >

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

Автор: Мороз Б.З.
Год: 2008
Издание: МЦНМО, Московский центр непрерывного математического образования (МЦНМО)
Страниц: [не указано]
ISBN: 9785940573753
В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое множество является диофантовым.
Добавлено: 2018-02-05 18:13:19

Околостуденческое

Рейтинг@Mail.ru

© 2009-2025, Список Литературы