Что-то гложуть меня сомнения...

[psilogic]

Такое впечатление, что x = {x} для физически существующих (т.е. допускающих регистрацию физич. приборами) множеств... если вдуматься. Для формальных (хоть аксиоматических, хоть наивных) множеств это, конечно, не так. А вот для физически существующих вещей, с которыми мы в рассуждениях оперируем как со множествами, найти разницу между x и {x} не удается. Каждый раз, когда мне кажется, что я ее нашел, дальнейшее размышление вынуждает признать, что что-нибудь не так.

Или меня глючит к ночи... ?

Comments

[ex-xlein550.livejournal.com]

поспал бы ты, камрад, чесс слово....

[http://users.livejournal.com/_joshua_bolton/]

То есть объект равен своему единичному классу? Есть теории множеств, которые допускают такое равенство....

[daddym.livejournal.com]

Хм я тоже наверно чето не понимаю. Ведь разница вроде в применимости операций. В X ты не можешь добавить Y. А в {X} пожалуйста.

[eugenebo.livejournal.com]

Смотря, наверное, что понимать под "физич. приборами"... При допущении некоторой разболтанности определения можно привести вот такой пример (без претензий и ответсвтенности):

int a = 3; // x
int b[1]; b[0] = a; // {x}

Разницы между ними, как очевидно, много, а выражается она в наборе допустимых операций :)

Вопрос, конечно, насколько "физичны" эти объекты... Вообще, разрешение большинства подобных вопросов таится в "складках" наших бытовых представлений о мире.

Кстати, как-то я пытался объяснить разницу между "элементом" и "массивом из одного элемента" одной весьма неглупой девушке-гуманитарию. Поскольку ни в одном известном ей языке, в отличие от C++, никакой грамматической разницы между этими понятиями нет, она действительно испытывала большие трудности в ухватывании идеи.

[leo-minor.livejournal.com]

Между х и {x} можно установить взаимнооднозначное соответствие. Поэтому в некотором смысле их можно рассматривать как одинаковые объекты.

[lidums.livejournal.com]

Предположим, что {x}=x
Тогда
{2,3,4}={{2,3,4}} является подмножетвом множества {{2,3,4},{4,5,6}}
Полуцахется: множество из 3 элементов - подмножество множества из 2 элементов.
Что неудобно.