Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Книги" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Статьи" (2)

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=формальная арифметика<.>)

Общее количество найденных документов : 1

   22.12
   К49

    Клини, Стивн Коул.
    Введение в метаматематику [Текст] : к изучению дисциплины / С. К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Либроком, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр. : с. 485 . - Предм. указ. : с. 511 . - ISBN 978-5-397-00105-2 (в пер.) : 632.88 р.

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
основания математики -- математическая логика -- рекурсивные функции -- исчисление высказываний -- исчисление предикатов -- формальная арифметика -- арифметизация метаматематики
Аннотация: Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.

Доп.точки доступа:
Есенина-Вольпина, А.С. \пер.\; Успенский, В.А. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

Тематический навигатор

Статистика за 24.08.2024
Число запросов	169818
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)