о моих политических убеждениях

[avva]

Я поддерживаю право выбора по одному элементу из каждого множества в коллекции множеств.

А вы?

Comments

[nevsky.livejournal.com]

А я агностик: я верю в эволюцию

[dizzy57.livejournal.com]

А мне иногда нравится верить в то, что V=L.
Такие забавные креационистские рассуждения получаются…

[anhinga-anhinga.livejournal.com]

Но вот вопрос: поддерживать ли мирное сосуществование с моделями теории множеств, в которых это право грубо попирается?

[monomyth.livejournal.com]

А я гностик: я верю в революцию

Иное политическое убеждение.

[kisalex.livejournal.com]

Я же поддерживаю право выбора всех элементов (http://static.flickr.com/35/88678093_1493d78927_o.jpg) из каждого множества в коллекции множеств.

[posic.livejournal.com]

Мне представляется очевидным, что декартово произведение семейства непустых множеств непусто.

[gaius-julius.livejournal.com]

а вы верите в то что 0^0=1? (-:

[oblomov-jerusal.livejournal.com]

А как вы относитесь к аксиоме конструктивности? Если вы против, то что по поводу гипотезы континуума?

[nine_k]

Мы разработчики, поддержкой занимается другой отдел.

[jewgeniusz.livejournal.com]

"Что же до аксиомы выбора, то Богу было угодно сообщить нам, что она очевидна."

(с) не помню кто.

[spamsink.livejournal.com]

Право-то у тебя есть, но из бесконечной коллекции выбирать кто ж тебе дасть?

[malaya-zemlya.livejournal.com]

Требую навести полный порядок на R!

[roma.livejournal.com]

как любые выборы -- does not really matter. or rather it does, but not in the way we would, or could, imagine. Don't vote, but generally hope things will work out somehow, if they were doing more or less this so far.

[ygam.livejournal.com]

За боевое удвоение вражеского праха
Полк награжден орденом Тарского и Банаха.

[p-a-s-h-a.livejournal.com]

+50!

[deadkittten.livejournal.com]

А противная сторона придерживается грубой силы и аксиомы форсинга? ;)

[deadkittten.livejournal.com]

Поскольку (ЕМНИП) резултаты в таких моделях для конечных множеств обычно неразричимы -- мирно сосуществовать, избегая разговоров и бесконечности...

[ivan-gandhi.livejournal.com]

Ага. Берем кольцо (не из алгебры, а обычное, отрезок, склеенный концами). И берём множества над этим кольцом, с непрерывными проекциями на само кольцо.

Теперь над этим кольцом закручиваем двойное кольцо, и проектируем на кольцо. В каждую точке базового кольца проектируется две точки закрученного. Ну то есть, эпиморфизм. Ну и что, будет у нас аксиома выбора из двух? Не будет... даже из двух.

[ivan-gandhi.livejournal.com]

:) А вот не всегда.

[deadkittten.livejournal.com]

Ну, "я ж не настоящий сварщик, я только маску нашёл" :) Теории множеств в последний раз в универе касался...

[posic.livejournal.com]

1. против аксиомы конструктивности, за измеримый кардинал
2. гипотеза континуума -- на то она и есть открытая проблема, что неизвестно, как к ней относиться

[oblomov-jerusal.livejournal.com]

ֹГипотеза континуума не открытая проблема, известно, что она независима от ZFC

[posic.livejournal.com]

Открытая проблема состоит в том, верна она или нет (и если нет, то что верно вместо нее), а не в том, разрешима ли она в той или иной фиксированной системе аксиом. Факт независимости от ZFC придает дополнительную трудность, необычность и интересность этой открытой проблеме.

[ex-feuerbach769.livejournal.com]

Это, случаем, не ответ на это (http://cornellmath.wordpress.com/2007/09/13/the-axiom-of-choice-is-wrong/)?

[avva.livejournal.com]

Неа, это вдохновлено описанием Facebook-группы здесь.

[avva.livejournal.com]

Да, форсит все подряд :)

[avva.livejournal.com]

:))

[avva.livejournal.com]

Хорошо сказано.

[avva.livejournal.com]

Я об этом не задумываюсь :)

[avva.livejournal.com]

Точно, помимо прочего.

[avva.livejournal.com]

Все бы вам попроще, поровнее!

[ygam.livejournal.com]

Летят две мухи на дозвуковой скорости. - Стекло. - Вижу. Бам. Бам.

Летят две мухи на околозвуковой скорости. - Стекло. Бам. - Вижу. Бам.

Летят две мухи на сверхзвуковой скорости. Бам. Бам. - Вижу. - Стекло.

[ygam.livejournal.com]

Если x^y - это количество функций из множества мощности y во множество мощности x, то - да.

[vrml.livejournal.com]

В английском варианте этой записи заголовок совершенно замечательный.

[plakhov.livejournal.com]

А вы?

А я теперь не поддерживаю.
Меня обратил в свою веру Тимур с помощью своей блестящей статьи.

Ну и вообще - CS'нику пристало быть конструктивистом, и более того, считать, что экспоненциально больших конструкций не бывает.

[posic.livejournal.com]

Да, в категории топологических пространств не всякий эпиморфизм имеет сечение. И в категории пучков множеств на топологическом пространстве тоже. И что? Равно, в категории пунктированных топологических пространств не всякий мономорфизм допускает ретракцию. Сферу нельзя отобразить на ее экватор так, чтобы на самом экваторе отображение было тождественным. И в категории пучков пунктированных множеств не всякий мономорфизм допускает ретракцию. А в категории пунктированных множеств -- всякий, и ни от какой аксиомы выбора это не зависит.

Множества, они дискретные. Тем и отличаются.