Чего не может формальная логика ? ? ?
Ничего ... Воо...
Что-то может только .. человек (.. не кваксующий буратинистый брайт..) использует формальную логику как один из частных инструментов познания, не более того.
\
Жуй, пока не остыло . . .
Бессмертный - тут Квакс поназадавал в..сов, но поскольку я ранее ему объявил игнор. то .. во..сы мне.
\
Это Вы меня - в игнор .. НО я то Вас - нет . . Вот потому :
опять ПОЛУЧАЙТЕ - ДО ОСНОВАТЬЯ, А ЗАТЕМ . .
ЕЩЁ РАЗ, ЕЩЁ МНОГО-МНОГО РАЗ !
Верно говорят : лучше часто жевать . . чем даже редко - говорить (писать) .
А то тут такого понаАА-пиИИсывали .. что сам чёрт ногу сломит :
Приведу одно рассуждение .. Геделя. Но .. самостоятельно.
Для начала сделаем одно замечание: .. .доказать ложь - невозможно, можно только опровергнуть т.е. доказать обратное утверждение которое истинно. Таким образом все что доказано все истино. (именно потому что мы это доказываем).
\
Зачем дурИть ? И себя и людей . . Путая ложь - с утверждением, которое истинно ! ! !
т.е. овсе не обязательно - доказЫВать обратное утверждение которое истинно !
Так как вполне
возможно дооказать - утверждение которое ложно .==
Теперь сделаем одно забавное утверждение:
1. Утверждение за номером 1 этого поста - доказать невозможно.
Истинно ли это утверждение?
Предположим, что оно ложно. Т.е. не верно, .., однако в силу замечания, все что доказуемо - все истинно. Следовательно это ... Противоречие. Итак - .. верно обратное, следовательно оно истинное но недоказуемое. Ч.т.д.
Вот приведенный здесь текст - если вы найдете возможным уточнить так, чтобы не было неточностей и потиворечий то вы откроете теорему Геделя. Теорема Геделя - это точно такой же ход, как указан в этом рассуждении. Оказывается в любой формальной системе, достаточно мощной чтобы представить в себе арифметику Пеано существует Геделевсое утверждение G - аналог нашего утверждения (1).
Это и приводит к тому, что существуют истинные но недоказуемые утверждения. ... Т.е. не может быть обнаружено ни каким механичсеким путем, никаким алгоритмом никакой программой, никакой математикой, никакой логикой.
Они есть "вещь в себе"- и неисчерпаемы.
\
И не надо - опять врать . См. пред абзац :
возможно дооказать - утверждение которое ложно .==
То есть, НА САМОМ ДЕЛЕ - ДАЛЕКО НЕ
все что доказуемо - все истинно.Проще говоря, доказательство - это УСТАНОВЛЕНИЕ :
истинности или ложности исследуемого высказывания !
А ЕЩЁ Вот приведенный здесь текст - свидетельствует, что
Теорема Геделя - это точно ... Оказывается БАЗИРУЕТСЯ НА НАРУШЕНИИ закона тождества !
1. Утверждение за номером
1 этого поста - доказать невозможно.Истинно ли это утверждение?
Предположим, что оно ложно. Т.е. не верно, ..А ЭТО ЗНАЧИТ :
1. Утверждение за номером
1 этого поста - доказать возможно.Истинно ли это утверждение?
Предположим, что оно ложно. Т.е. не верно, ..== ==
То есть, из того, что (У = 1) --> (не_У = 1)
То есть, НА САМОМ ДЕЛЕ - Теорема Геделя (и Вы вместе с ней) - это точно ... Оказывается ОКАЗЫВАЕТСЯ ТРЕБУЕТЕ, чтобы :
1. Утверждение и его Отрицание - были одновременно Истинными .
==
==
А ЭТО
ЗНАЧИТ НА САМОМ ДЕЛЕ, что мы :
СРЕДСТВАМИ ИМЕННО ФОРМАЛЬНОЙ ЛОГИКИ . .
ОДНОЗНАЧНО УСТАНОВИЛИ ПРО ТИ ВО РЕЧ ИВОСТЬ
именно данного требования ! --
Ну и что в итоге, тов. Снег Север :
Чего НА САМОМ ДЕЛЕ не может формальная логика ? Ничего ... ? ?
Воо... Снег Север - человек (..
не кваксующий буратинистый брайт..) использует формальную логику !
И уж нажевался, пока не остыло . . .
как один из частных инструментов познания,
не более того.
А чем - опровергать будете, тов. Снег Север ?
Какими именно НЕ формально-логическими Сред-Ствиями ? ? ?
