Исходное сообщение
"Техника атаки на системы, использующие алгоритмы машинного о..." Отправлено Sw00p aka Jerom, 28-Авг-17 17:09
>>Сами-то поняли? хммм поняли что? суть теоремы ? - утвердительно - да, даже в самом глобоком (философском) смысле её. Вы выдернули определение и я не понял, что вы имели ввиду (просто я не знаю на сколько вы "хорошо" (глубоко) разбирали данную теорему и мне трудно будет объяснить). Хочу отметить (не моё замечание - Успенского), что теорема Гёделя имеет много определений, грубо их делят на семантические и синтаксические, в приведённой ссылке разбор Успенского относится именно к синтаксическому варианту теоремы, отсюда и формулировка "если формальная арифметика" - зададимся вопросом почему именно "арифметика", да потому, что Гёдель решал вторую проблему Гильберта (о непротиворечивости аксиом арифметики), и доказал, а в следствие пришёл к выводу, что непротиворечивость всякой "формальной системы" - не доказуемо средствами "самой формальной ситемы". Отсюда и "то в ней НЕвыводима некоторая формула, содержательно утверждающая НЕпротиворечивость этой арифметики."