Теорема Геделя о неполноте

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

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