Комментарии (0)

<a href="https://www.liveinternet.ru/users/forever_agate/post516372342/">Р•С‰Рµ РіР»СѓР±Р¶Рµ РІ РґРµР±СЂРё С„РёР»РѕСЃРѕС„РёРё Рё Р°СЂРёС„РјРµС‚РёРєРё...</a><br/>РџРѕСЏРІРёР»РѕСЃСЊ РІСЂРµРјСЏ РїРѕРґСѓРјР°С‚СЊ.
РўРµРїРµСЂСЊ РЅР°С€Р»РѕСЃСЊ РІСЂРµРјСЏ РѕС„РѕСЂРјРёС‚СЊ РєСѓС‡РєСѓ РёР· СЂР°Р·СЂРѕР·РЅРµРЅРЅС‹С… СЂР°Р·РјС‹С€Р»РµРЅРёСЏ.

РџСЂРѕ РІСЃРµСЃРёР»РёРµ Р‘РѕРіР° Р±С‹Р» С‚СѓРїРѕР№ Рё Р°С‚РµРёСЃС‚РёС‡РµСЃРєРёР№ С€С‚Р°РјРї - РјРѕР¶РµС‚ Р»Рё Р‘РѕРі СЃРѕР·РґР°С‚СЊ С‚Р°РєРѕР№ РєР°РјРµРЅСЊ, РєРѕС‚РѕСЂС‹Р№ РЅРµ СЃРјРѕРі Р±С‹ РїРѕРґРЅСЏС‚СЊ? РљР°Р·Р°Р»РѕСЃСЊ Р±С‹, РїР°СЂР°РґРѕРєСЃ. РџСЂРёР·РѕРІРµРј РЅР° РїРѕРјРѕС‰СЊ РјР°С‚РµРјР°С‚РёРєСѓ СЃ РµРµ РїРѕРЅСЏС‚РёРµРј РјРЅРѕР¶РµСЃС‚РІ. Р§С‚Рѕ РѕРЅРѕ С‚Р°РєРѕРµ? РњРЅРѕР¶РµСЃС‚РІРѕ - СЌС‚Рѕ СЃРѕРІРѕРєСѓРїРЅРѕСЃС‚СЊ РєР°РєРёС…-С‚Рѕ РѕР±СЉРµРєС‚РѕРІ. РћРЅРё, СЌС‚Рё РѕР±СЉРµРєС‚С‹, РЅР°Р·С‹РІР°СЋС‚СЃСЏ СЌР»РµРјРµРЅС‚Р°РјРё РјРЅРѕР¶РµСЃС‚РІР°. РњРЅРѕР¶РµСЃС‚РІР° Р±С‹РІР°СЋС‚ РєРѕРЅРµС‡РЅС‹Рµ, Р° Р±С‹РІР°СЋС‚ Р±РµСЃРєРѕРЅРµС‡РЅС‹Рµ. РЎСѓС‰РµСЃС‚РІСѓРµС‚ С‚Р°Рє Р¶Рµ РїРѕРЅСЏС‚РёРµ СѓРЅРёРІРµСЂСЃР°Р»СЊРЅРѕРіРѕ РјРЅРѕР¶РµСЃС‚РІР° - С‚Рѕ РµСЃС‚СЊ СЃРѕРІРѕРєСѓРїРЅРѕСЃС‚Рё Р»СЋР±С‹С… РјРЅРѕР¶РµСЃС‚РІ. Р РµСЃС‚СЊ РїРѕРЅСЏС‚РёРµ РґРѕРїРѕР»РЅРµРЅРёСЏ РјРЅРѕР¶РµСЃС‚РІР° - С‚Рѕ РµСЃС‚СЊ СЃРѕРІРѕРєСѓРїРЅРѕСЃС‚Рё РІ... <a href="https://www.liveinternet.ru/users/forever_agate/post516372342/">Р§РёС‚Р°С‚СЊ РґР°Р»РµРµ...</a>

Forever_Agate

Еще глубже в дебри философии и арифметики...

Пятница, 28 Августа 2026 г. 10:29 (ссылка) + в цитатник

Появилось время подумать.
Теперь нашлось время оформить кучку из разрозненных размышления.

Про всесилие Бога был тупой и атеистический штамп - может ли Бог создать такой камень, который не смог бы поднять? Казалось бы, парадокс. Призовем на помощь математику с ее понятием множеств. Что оно такое? Множество - это совокупность каких-то объектов. Они, эти объекты, называются элементами множества. Множества бывают конечные, а бывают бесконечные. Существует так же понятие универсального множества - то есть совокупности любых множеств. И есть понятие дополнения множества - то есть совокупности всего того, что в данное множество не входит. Тогда как у универсального множества есть дополнение? Если есть – то оно уже ни разу не универсально! Получается, что-то в него уже не входит? С обратной стороны, если у него нет дополнения - то оно получается не универсальным. Да, парадокс есть. Но он показывает одно - наши обывательские представления о бесконечности Бога, его силы и материи нуждаются в коррекции.

Больше пятнадцати веков назад древнегреческий философ и поэт Эпименид утверждал, что все критяне - лжецы. Самое интересное, что он сам родился на Крите. В более позднее время это и породило парадокс лжеца, самореференцию, т.е. ситуацию, когда высказывание ссылается само на себя. С точки зрения математики это абсурдно. А что, если кроме булевой логики, на которой и стоит поныне вся математика и информатика, ввести кроме «истина» и «ложь» еще что-то? Например, «абсурд»? И причем тут Бог?

В классической логике утверждения бывают либо правдивыми, либо ложными. Однако, пока не известно, что правда, а что ложь в нашей интерпретации. Главное – что любой пример или понятие, пусть оно даже и не истинно (а нам-людям свойственно ошибаться), имеет смысл. Если смысл есть – то утверждение корректно. Например:
1+2=3 имеет смысл, правда
1+2=4 имеет смысл, ложь
Причем и ложь, и правда принадлежат корректным утверждениям, которые имеют смысл.
А что делать, если утверждение не корректно? Например:
+=1
Значит оно и не правда, и не ложь. Введем понятие абсурда.
Далее.
Что делать, если простое высказывание не имеет исчерпывающей информации?
X=Y
Введем еще одно четвертое понятие – истинность неизвестна. Вот так я получил четверную логику, она и только она сможет раскидать любые утверждения по анализу исходных данных. Почему я не остановился на том, чтобы объединить «абсурд» и «истинность неизвестна»? Потому, что числа 2Х2 достаточно для понимания всех возможных пересечений утверждений. Можно было бы, конечно, заюзать и троичную логику, где мои два новых понятия объединены в одно – «некорректность». Но моя мне больше нравится, она логичнее, полнее. Надеюсь, я не ошибся в расчетах, а ее избыточность на низком уровне.

Любая теория без практики мертва. Начнем с арифметических действий.
1+2=2+1
Это правда, ложь, абсурд или неизвестность? Абсурда тут нет – написано все верно и математически грамотно. Никому не верю, поэтому предполагаю, что оно ложно. Тогда после всех вычислений из обоих частей уравнения получаю, что 3=3 ложно. Но любое число равно самому себе, это аксиома тождества. Рассуждение «абсурдно», первый результат получен и отброшен. Значит, это правда? Опять же после титанических усилий вычисления нашего уравнения мы получаем 3=3, что правдиво и никаких вопросов нет. И вот я уже доказал, что исходные данные корректны и истины.
Зачем же я начинал с доказательства от противного? Во-первых, мир меня научил не доверять никому, кого я не знаю. И вот уже кажется, что начни я с доказательства «истинности», то вторая гипотеза уже и не нужна была бы. Но не стоит забывать, что наш пример мог бы быть не только «истиной» или «ложью», он мог бы быть и некорректным. Поэтому проверяю все подряд и со всех сторон.

Вернемся к лжецу. Возьмем декларацию о собственной истинности и раскидаем его. Если это истина, что она и декларирует в самом начале, то она утверждает, что она истинна, что не имеет противоречий исходнику. А если она – ложь, которая утверждает, что она правда, то это значит, что она ложна, что тоже подтверждает исходник. Выходит, что изначальная декларация не обладает достаточным количеством информации, чтобы судить о ее истинности. Это значит, что требуется еще дополнительная информация. Выражение корректно, но «истинность неизвестна».
А теперь от обратного – что, если декларация будет говорить о своей лжи? Если это правда, то его содержание говорит, что оно ложно. Получили противоречие, пусть и корректное, и отбросим его. А если это ложь, то из отрицания её внутренностей следует, что оно правдиво. Опять противоречие – опять уходит в сброс. Получается, что такая декларация противоречит самой себе, а значит некорректно. Оно не ложь, оно не правда, какие бы вводные еще мы бы не внесли. Оно просто не имеет смысла, по сути своей являясь абсурдом.
Но мы не пытаемся сбежать от проблемы, мы решаем парадокс. И теперь мы подменим утверждение декларации на абсурдность – «это уравнение абсурдно». Если оно правдиво, то Читать далее...
В колонках играет - Lumen - "Дотла"

Метки: trash

LiveInternetLiveInternet

Еще глубже в дебри философии и арифметики...