Год выпуска: 2008 Автор: С. К. Клини Издательство: Либроком Страниц: 526 ISBN: 978-5-397-00105-2
Описание
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Книга не предполагает со стороны читателя никаких специальных...
Большое спасибо за прошлогодний цикл работ. Все получилось замечательно. Чуть позже скину еще две темы. С Вами приятно иметь дело :) Между прочим... по секрету одна из тем будет такая же противная. Но Вы же умница, Вы справитесь :))