Введение в метаматематику: Математическая логика и рекурсивные функции. Пер. с англ.
Оформить заказ
Серия:Физико-математическое наследие: математика (основания математики и логика)
Автор:С. К. Клини
Издательство:Либроком
Страниц:528
Год:2009
Обложка:Твердый переплет
Размер:60x90/16
SKU:RU340424
ISBN:9785397001052
Наша цена:US $98.00
Пункты выдачи магазин ТРОЙКА
Отправка почтой: June 12th от US $12.00, бесплатно при заказе от US $100.00.
Точная стоимость доставки будет рассчитана при оформлении заказа.
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.Книга не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.2-е издание, исправленное