22.12 К49 Клини, Стивн Коул. Введение в метаматематику [Текст] : к изучению дисциплины / С. К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Либроком, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр. : с. 485 . - Предм. указ. : с. 511 . - ISBN 978-5-397-00105-2 (в пер.) : 632.88 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): основания математики -- математическая логика -- рекурсивные функции -- исчисление высказываний -- исчисление предикатов -- формальная арифметика -- арифметизация метаматематики Аннотация: Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Доп.точки доступа: Есенина-Вольпина, А.С. \пер.\; Успенский, В.А. \ред.\ Экземпляры всего: 1 аб. (1) Свободны: аб. (1) |