[Промузг]

Сообщение от Евгений-Бур

я зажирил и подчеркнул.
Просто интересуюсь: Каким образом точка Эвклидовой геометрии превращается в подсистему, т.е. внутри неё -- вроде как ещё какие-то элементы со связями?
То, что точка может быть элементом -- не интересно.

М-да, прав Садовник: Вам, Евгений-Бур, про конкретику талдычат, а Вы ищете Абсолют. Не бывает не конкретной Истины. Не бывает не конкретная, а некая абстрактная точка в РЕАЛЬНОСТИ. Реальность и её абстрактное отображение в психике силами интеллекта человека - две большие разницы. Разница может быть снята только Божественным вмешательством, которое называется снисхождение Духа Святого, Водительство Божие, получение Различения.

П.С. Все признаки, связи, цели сворачиваются-сингулируются в точку для удобства построения модели конкретного процесса в реальности.

[Евгений-Бур]

Сообщение от Промузг

М-да, прав Садовник: Вам, Евгений-Бур, про конкретику талдычат, а Вы ищете Абсолют. Не бывает не конкретной Истины. Не бывает не конкретная, а некая абстрактная точка в РЕАЛЬНОСТИ. Реальность и её абстрактное отображение в психике силами интеллекта человека - две большие разницы. Разница может быть снята только Божественным вмешательством, которое называется снисхождение Духа Святого, Водительство Божие, получение Различения.

Истины не бывает ни конкретной, ни не конкретной.
Истина -- одно из значений истинности в логике при выполнении сознанием, мышлением операции различения на Равно/неРавно.
Значений истинности ровно два, потому что кроме Равно и неРавно при различении никто ещё ничего третьего не придумал.
как-то так.

[садовник]

Сообщение от Евгений-Бур

Истины не бывает ни конкретной, ни не конкретной.
Истина -- одно из значений истинности в логике при выполнении сознанием, мышлением операции различения на Равно/неРавно.
Значений истинности ровно два, потому что кроме Равно и неРавно при различении никто ещё ничего третьего не придумал.
как-то так.

Размерность множества значений два - либо истинно, либо не истинно. А значение операции одно - оно принимает конкретное значение - истинно/не истинно, а не сразу два.
Но это задаётся в модели реального мира. В психике к этой размерности (в моделях) добавляется ещё один размер и размерность становится три - не определено.
Множество значений истинности в реальном мире в соответствии с 3-мя априорными аксиомами логики - 2, а в отражённом в психике - 3. Значение же истинности конкретно и всегда определено - один из двух элементов множества, либо из трёх.

А перенос элементалей, предикатов из одной системы в другую, где они уже не являются предикатами - ну очевидная демагогия.
Есть четыре яблока: 2 больших и спелых, 2 маленьких и гнилых.
Сумма 2-х больших яблок не равна сумме 2-х маленьких яблок. Ну вы же на рынке не согласитесь с такой арифметикой. Значит арифметическое действие 1+1=2 - ложно.
А область определения Евклидова пространства пока только наш ощущаемый непосредственно органами чувств физический мир. В атомарной модели суть Евклидовой геометрии размывается - там нет точек. Там математические формулы вероятностных орбит электрона. Электрон не может быть в таком случае представлен ни Евклидовой точкой, ни Евклидовым кругом.

А с сингулярностью с вашим миропониманием Промузг вас запутает. Сингулярность - это совсем не минимальный неделимый элемент мира, как можно предположить в модели Абсолюта. Уже начали путаться? Между двумя точками - бесконечное множество актуальных бесконечностей - сингулярностей. Значит сингулярность - единичный абсолютный элемент, фундамент мира. Нет, это не так. Это линейная, евклидовая логика, по которой между точками обязательно должно что-то быть, ну в этой логике там не может ничего не быть и это что-то эта логика линейно же заполняет минимальными элементалями-точками-сингулярностями. Но это не так. Это конкретная модель - никаких сингулярностей в ней нет. В ней есть соизмеримые меры в жёстко заданной геометрической аксиоматике. Сингулярности и актуальные бесконечности - это не из этой модели.

[Евгений-Бур]

Сообщение от садовник

Размерность множества значений два - либо истинно, либо не истинно. А значение операции одно - оно принимает конкретное значение - истинно/не истинно, а не сразу два.

1. Про сразу два я и не писал: слэш означает "или". Я полагал, что Вы в курсе этого общепринятого обозначения.
2. А почему их именно два, а не меньше или больше?

[Евгений-Бур]

Садовник
По Универсуму/Абсолюту.
Для Теории множеств (подчёркиваю, именно для Теории множеств), например, Универсум (У) можно ввести следующим образом:
У = А+_А = В+_В = С+_С..., где + -- объединение множеств (набор символов здесь ограничен), _А -- то, что не вошло в А
А<>_А
А=_(_А)
------
В общем-то это ни чем не отличается от аксиом логики.
----------
Для других наук, областей знаний Универсум может вводиться иначе.
Например, для материалистов -- материя. и т.д.

[Евгений-Бур]

Сообщение от Евгений-Бур

Садовник
По Универсуму/Абсолюту.
Для Теории множеств (подчёркиваю, именно для Теории множеств), например, Универсум (У) можно ввести следующим образом:
У = А+_А = В+_В = С+_С..., где + -- объединение множеств (набор символов здесь ограничен), _А -- то, что не вошло в А
А<>_А
А=_(_А)
------
В общем-то это ни чем не отличается от аксиом логики.
----------
Для других наук, областей знаний Универсум может вводиться иначе.
Например, для материалистов -- материя. и т.д.

Я не давал определения Универсуму.
Универсум вводится аксиоматически в связке с множествами. Связь показана.
Множества не могут быть введены аксиоматически без аксиомы об Универсуме.
Всё, что я хотел сказать.
----------
Можете указать аксиому существования элементов в Т.М., заодно -- где они аксиоматически существуют?

[Евгений-Бур]

С учётом

Сообщение от садовник

зы: Ладно. Я вас понял. С "величайшим разумом, когда-либо существовавшим в собственном Универсуме, в котором кроме величайшего разума ничего не было" диалог закончен.

особо ответа не жду. Но надежда остаётся.

[садовник]

Сообщение от Евгений-Бур

1. Про сразу два я и не писал: слэш означает "или". Я полагал, что Вы в курсе этого общепринятого обозначения.
2. А почему их именно два, а не меньше или больше?

Потому что - это априорно заданная модель, а не доказанный Абсолют.

И на её основе построен мир и на этой основе строятся достаточно точные прогнозтические модели. И в том числе подтвреждается критерием практики.
Всё!

[Евгений-Бур]

Сообщение от садовник

Потому что - это априорно заданная модель, а не доказанный Абсолют.

Причём тут доказанность?
Вариантов не видно. Вы может добавить что-то ещё к Равно или неРавно для операции сравнения? Специально убрал слэш во избежание...
Не надо ничего доказывать как-то с изворотом, дайте людям хотя бы третий вариант или исключите хотя бы один.

[Евгений-Бур]

Сообщение от садовник

Есть четыре яблока: 2 больших и спелых, 2 маленьких и гнилых.
Сумма 2-х больших яблок не равна сумме 2-х маленьких яблок. Ну вы же на рынке не согласитесь с такой арифметикой. Значит арифметическое действие 1+1=2 - ложно.

Вы абсолютно правы!!
Чему равно 1+1 для Есть четыре яблока: 2 больших и спелых, 2 маленьких и гнилых надо бы ещё определиться, потому что операцию + Вы предлагаете проводить для элементов двух различных множеств:
А = {2 больших и спелых} и В = {2 маленьких и гнилых}.
-------
В задачах для школьников арифметические операции проводятся в рамках элементов одного множества, т.е. равных (в каком-то смысле) между собой.
Себя не путайте.
----------
Арифметика -- в рамках равных между собой.