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

Описание


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

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


Нет оценки

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

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

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


Математическая логика. Дополнительные главы

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

Метод математики. Логика и гносеология математических знаний

Вниманию читателей предлагается книга русского математика и философа И.Д. Менделеева (1883-1936), в которой подробно рассматривается метод математики как простейший и типичный познавательный метод науки.

Математика и логика

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

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

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

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости.

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

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