Введение в метаматематику: Математическая логика и рекурсивные функции. Пер. с англ.
![]() |
Серия:Физико-математическое наследие: математика (основания математики и логика) Автор:С. К. Клини Издательство:Либроком Страниц:528 Год:2009 Обложка:Твердый переплет Размер:60x90/16 SKU:RU340424 ISBN:9785397001052 Наша цена:US $108.00
Отправляется через 16-24 дня
|
Описание
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.Книга не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.2-е издание, исправленное©2024 Troyka Online All rights reserved.