(no subject)

[blackka.livejournal.com]

Интересно, чему равна мощность множества всех множеств?

Апдейт: Ответ получен. Ворос закрыт. Спасибо insentientbeing.

Comments

(frozen comment)

[insentientbeing.livejournal.com]

Тогда уж лучше сразу на философский (http://www.livejournal.com/community/philos_msu/) :) И вообще мне не нравится, что здесь мощность множества путают с мощностью электростанций ;)

(frozen comment)

[mcsdwarken.livejournal.com]

интересно, а какие еще мощности бывают?
а в каких единицах в математике мощьность множеств меряют?

(frozen comment)

[insentientbeing.livejournal.com]

Хм. Ну для начала можно посмотреть вот здесь (http://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D1%89%D0%BD%D0%BE%D1%81%D1%82%D1%8C_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%B0). А вообще это тема для отдельного большого и нудного разговора ;)

(frozen comment)

[sxakludant.livejournal.com]

ну например конечные множества (кучу разных можностей)
счетное, континуальное, (промежуточное между счетным и континуальным:-) по кр мере доказана невозможность доказать отсутствие такого множества)
и для каждого множдества множество всех его подмножеств имеет можность большую его
а единицы измерения - класс эквивалентности по можности:-)

(frozen comment)

[blackka.livejournal.com]

Доказано, что предположение о существовании множеств, мощность которых является промежуточной между счётным и континуальным не противоречит аксиоматике, равно как и предположение о том, что такие множества не существуют. :)

(frozen comment)

[sxakludant.livejournal.com]

Ну и я то же самое сказал.. только половину.. не сказал про невозможность его построить

(frozen comment)

[blackka.livejournal.com]

вы сказали совсем другое утверждение :)
вы заявили о невозможности доказать, а я сказал, что и существование и несуществование - ни то, ни другое не противоречат аксиоматике

(frozen comment)

[sxakludant.livejournal.com]

А теперь еще раз
я
>доказана невозможность доказать отсутствие такого множества
ты
>предположение о существовании множеств, мощность которых является промежуточной между счётным и континуальным не противоречит аксиоматике

А теперь доказательство эквивалентности этих утверждений:
Если твое утверждение (не про тиворечит аксиоматике сущ-е мн-ва) то невозможно доказать остутствие такого множества то есть мое утверждение
Если отрицание твеого утв-я (противоречит аксиоматике сущ-е) то можно доказать его отсутствие что есть мое утверждение
хватит тупой флейм разводить Я отвечал на вопросч человек а который не знает какоие мощности множеств бывают. Поэтому несколько упростил высказывание но оно все равно еквиваленитно твоему

(frozen comment)

[blackka.livejournal.com]

:)