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

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

Введение в метаматематику

Автор: Клини С. К.
Год: 2008
Издание: Либроком
Страниц: 526
ISBN: 9785397001052
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Книга не предполагает со стороны читателя никаких специальных...
Добавлено: 2017-05-26 12:35:52

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

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

Рейтинг@Mail.ru

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