Введение в метаматематику. Математическая логика и рекурсивные функции

Описание


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

Рейтинг издания


Нет оценки

Введение в метаматематику. Математическая логика и рекурсивные функции

Автор: 
Клини С.К.
Издатель: 
URSS
Серия: 
Физико-математическое наследие
Переплет: 
твердый переплет
Страниц: 
528
Год издания: 
2009

Похожие издания:


Логика и логическая семантика. Выпуск №15

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которог

Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов.

Логика и философия математики

В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.

Логика и философия математики

В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.

Математическая логика. Введение в математическую логику

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики.

Логика и философия математики. Избранное. Выпуск №23

В современную эпоху компьютеризации, когда методы эффективной вычислимости приобрели в науке и практике первостепенное значение, а понятия алгоритма и формализованной эвристики получили широкое философское звучание, мног