Введение в метаматематику | Клини Стивен Коул

Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.
Книга не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.

Вес:	842
Ширина упаковки:	175
Высота упаковки:	25
Глубина упаковки:	261
crossborder:	false
Серия:	Физико-математическое наследие: математика (история математики)
Издательство:	Либроком
Переводчик:	Успенский В. А.
Мелованная бумага:	false
Цветные иллюстрации:	false
Размер упаковки (Длина х Ширина х Высота), см:	17.5 x 2.5 x 26.1
Название:	Введение в метаматематику
Комментарий:	2-е издание, исправленное.
Тип издания:	Отдельное издание
Признак 18+:	false
Основной жанр книги:	Научная литература
Направления нехудожественной литературы:	Математические науки
Тип книги:	Печатная книга
Тип обложки:	Твердый переплет
Тип носителя:	Печатная книга
Эпоха публикации:	Современные издания
ebsmstock:	false