Издательство: Главная редакция физико-математической литературы издательства "Наука", 1982
112 страниц
Серия: Популярные лекции по математике
Категория: Книги
Тираж: 100000
📕 Брошюра посвящена одному из наиболее замечательных достижений математической логики - теореме Геделя о неполноте формальной арифметики. В ней излагается доказательство теоремы Геделя, опирающееся на теорию алгоритмов. Брошюра рассчитана на школьников старших классов, студентов младших курсов и на всех интересующихся логическими проблемами математики.