Рецензия на «Теорема Гёделя» (Семенов Юрий Александрович)
Класс истинных утверждений шире класса логически выводимых утверждений или "...сначала я понял,что эта теорема верна,а потом начал думать,как бы её доказать." Михаил Близнецов 14.09.2010 13:51 Заявить о нарушении
1) Математическая логика - раздел арифметики Пеано.
2) Теорема рассматривает истинные утверждения арифметики Пеано. И вот именно утверждение о существовании теорем (2) недоказуемых средствами (1) и было доказано Геделем. Более широкие утверждения не только не доказаны, но скорее всего и недоказуемы. Возможно в силу самой теоремы Геделя :lol: Семенов Юрий Александрович 15.09.2010 00:48 Заявить о нарушении
Перейти на страницу произведения |