Введение в метаматематику
 |
|
Описание:
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциямии основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще.Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Книга не предполагает со стороны читателяникаких специальных...Похожие книги
 | Таро в будни. Карманный самоучитель Автор: Виталий Зайченко Год: 2009 |
 | 1С:Зарплата и Кадры 7.7. Повседневные операции. Советы опытного бухгалтера Автор: Л. Г. Герасимова, Р. В. Смоляк Год: 2006 |
 | Регистрация фирмы. Самостоятельно, правильно и быстро Автор: Сергей Исаев Год: 2010 |
 | Как заставить работать вашу стратегию Автор: Лоуренс Дж. Гребиньяк Год: 2006 |
 | Косметический ремонт в малогабаритной квартире Автор: В. Б. Зайцев Год: 2008 |