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

Лана... пойду дрыхнуть... тем более к ночи у математиков злобность повышается;)

M = "множество юзверей жж с ником xlein"
M содержит единственный элемент... xlein т.е. тебя.
Найдите 10 отличий между физическими объектами: xlein и M...

From:

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

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

From:

И... видимо, в этих теориях есть какие значимые подводные камни, раз уж они получили меньшее распространение?

From:

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

Quine, W.V.O. "Set Theory and its Logic". Да, нет... Вроде там нет подводных камней. Просто им не повезло появиться после ZF...

From:

спасибо, попробую поискать... интересно, что стало у Куайна с аксиомой фундирования...

From:

daddym.livejournal.com

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

From:

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

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

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

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

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

From:

Однако заметьте одну "фишку":
Набор допустимых операций в данном случае определяется сугубо нефизическими соглашениями языка. Ведь на практике ничто не мешает работать с массивом из 1 int-а как с 1 int-ом и наоборот, считать отдельный 1 int единичным массивом. Физически это будет в обоих случаях 4 байта в памяти в дополнительной двоичной кодировке.

From:

Ну вот я потому и говорю, что зависит от определения "физических приборов". Если компьютер считать таковым по отношению к структурам памяти в нём, то пример канает. А если нет (как большинство и считает), то и суда нет :)

From:

Если комп будет рассматривать результат компиляции a и b[] в байты, то для него это одно и то же. А если будет рассматривать текст программы, то отличия, очевидно, в самом тексте - 1 символ 'a' и три других. Это очень близкая аналогия с x и {x}: тоже пока человек рассматривает это как математические символы, разница есть, а как только начинает думать, какие физич. объекты им могут соответствовать, разница исчезает.

Но мне тут другую интересную идею в ru_math подкинули... надо обмозговать, расскажу, если что-нибудь внятное получится сформулировать.

From:

В одном гигабайте памяти у компа поместится вдвое меньше объектов типа int[], нежели int :) Чем не измеримый параметр?

From:

почему меньше то?? :)))
static int x[1];
static int x;
- так и так надо 4 байта...
нет, ну какой-нибудь компилятор может, конечно, поизвращаться, но в принципе то надо 4 байта в обоих случаях...

From:

Э-ээ... до измерения памяти на таком уровне я уже с пару лет не опускался и могу ошибаться... Но кажется мне, что ведь и пустой массив (из нуля элементов) 4 байта уже занимает? Чисто как указатель. Место в памяти под этот указатель забито, занять его никто не может. А тогда, соответсвенно, если в массиве один элемент, то будет 8 байт уже.

From:

Нет, если вот так:
static char *x="123";
- то 8 байт: под указатель x и под 4 байта строки '1','2','3','\0'.
а если так:
static char x[]="123";
- то под указатель место не отводится. В 1-м случае x можно изменить (например, x = NULL), и тогда новый измененный адрес надо будет куда-то записать (нужны 4 байта). А во втором случае компилятор запретит такое присваивание, т.к. x - константа.

From:

Таки закатал рукава и, написав немного кода, измерил всё сам. Похоже, Вы правы: и int x, и int x[1] занимают одинаково -- оба по 8 байт в MS VS 2003 по крайней мере. Надо почаще освежать память :)

Занятно, что если подобные объекты аллоцировать динамически, то int x[1] оказывается-таки на 4 байта длиннее int x[0], и при этом int x[0] места занимает всё ещё порядочно... Но статически такой объект не создаётся :)

From:

чтобы статически создавался ему по идее надо приписать static и что-нибудь константное присвоить при объявлении, например:
static int x[1] = 77;

From:

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

From:

Ну в некотором смысле все ко всему приравнять можно :)))))

From:

Это уже философская задача - искать общее. :)

Но здесь можно уточнить. :)
Если рассматривать множество точек и множество одноточечных множеств, то они будут равномощны в силу вышесказанной биекции. Но если ввести на этих двух множествах структуру, то уже изоморфизма может и не быть.

From:

Вот насчет "структуры", плиз, по-подробнее: незнакомый термин :)

From:

Примеры структур — метрика, норма, топология, операции над элементами множеств, отношение порядка.

From:

Ааа... т.е. структура - просто какая-нибудь система отношений над множеством. А те же операции можно сделать так, чтобы они вели себя по-разному для x и {x}, так что изоморфизм может, грубо говоря, "не сохраняться" при выполнении операций. Правильно я вас понял?

From:

Вот именно, при этом взаимнооднозначном отображении может не сохраняться структура. И тогда х и {х} рассматриваются как разные объекты.

From:

lidums.livejournal.com

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

From: