Электронный каталог МАУК "МИБС" г. Кемерово

Книга
22.12 У77

Успенский, Владимир Андреевич.
Теорема Гёделя о неполноте / Владимир Андреевич Успенский . – Москва : Наука, 1982 . – 112 с. – (Популярные лекции по математике) : 0-15 .

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

ББК 22.12

Общий = Конвертация
Общий = Алгоритмы
ключевой = Теории алгоритмов
ключевой = Математика
ключевой = Теорема о неполноте
ключевой = Множества (матем.)
ключевой = Арифметические множества
Общий = Арифметика
ключевой = Формальная арифметика
ключевой = Теорема Гёделя
ключевой = Аксиомы
ключевой = Аксиома арифметичности
Общий = Математическая логика
Общий = Логика