У 77 |
Успенский, В. А. Теорема Геделя о неполноте [Текст] / В. А. Успенский. – М. : Наука, 1982. – 112 с. – 100000.
Брошюра посвящена одному из наиболее замечательных достижений математической логики - теореме Геделя о неполноте формальной арифметики. В ней излагается доказательство теоремы Геделя, опирающегося на теорию алгоритмов. |