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

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

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

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

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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