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

Книги на ту же тему

1. Математическая логика, Клини С. К., 1973
2. Алгебра логики в задачах, Гиндикин С. Г., 1972
3. Теория алгоритмов: основные открытия н приложения, Успенский В. А., Семёнов А. Л., 1987
4. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975