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

Описание


Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник \"Математическая логика: Дополнительные главы\" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

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


Нет оценки

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

Автор: 
Колмогоров А.Н.
Издатель: 
URSS
Серия: 
Классический университетский учебник
Переплет: 
твердый переплет
Страниц: 
240
Год издания: 
2020

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


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

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

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

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

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

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

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

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

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

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

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

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