Можно ли понять доказательства теорем Гёделя о неполноте после трехтомника "Лекции по математической логике и теории алгоритмов" Верещагина и Шеня? Можно ли после прочтения трехтомника "Лекции по математической логике и теории алгоритмов" Верещагина и Шеня полностью понять доказательства теорем Гёделя о неполноте, которые были в его статье "On formally undecidable propositions of Principia Mathematica and related systems I"? При условии, что сейчас, до прочтения этих лекций, я не разбираюсь в математической логике. И какой вообще порог входа у данного трехтомника?http://www.mathforum.ru/forum/read/1/123219/123219/#123219Mon, 05 Oct 2026 14:47:40 +0300 Phorum 5.2.10 http://www.mathforum.ru/forum/read/1/123219/123220/#123220 -1/12http://www.mathforum.ru/forum/read/1/123219/123220/#123220это не иллюзия.]]> ammo77 Высшая математикаSun, 16 Aug 2026 10:12:21 +0300 http://www.mathforum.ru/forum/read/1/123219/123219/#123219 Можно ли понять доказательства теорем Гёделя о неполноте после трехтомника "Лекции по математической логике и теории алгоритмов" Верещагина и Шеня?http://www.mathforum.ru/forum/read/1/123219/123219/#123219 been123 Высшая математикаSun, 16 Aug 2026 02:26:46 +0300