Подробное описание документа

Успенский В. А.
Теорема Гёделя о неполноте / Успенский В. А. - М. : Наука, 1982. - 110 с. - (Популярные лекции по математике ; вып. 57). - Библиогр.: с. 6.

Аннотация

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

УДК
510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

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

Общее кол-во в фондах
1 экз.

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.305л, УЛК, ауд. 305л