Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет flaass ([info]flaass)
@ 2004-05-07 12:50:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
мечта о 0=1
Вот уже второе за неделю доказательство, что 0=1, попадается Авве в его многочисленные интернет-щупальца. Поветрие? У нас в институте (уж на что серьезное место) тоже развесили на некоторых дверях таблички:
P=NP?
Прохожу мимо с опаской: в любую секунду же могут выскочить с воплем: "ДАААА!", а одновременно из двери напротив "НЕЕЕЕТ!".

Но в целом к 0=1 я отношусь положительно. Скажем, очень подозрительна аксиома степени в ZF. Вот построит кто-нибудь очень заковыристое множество Х, потом множество всех его подмножеств У, а потом поднатужится, с помощью Х, У и какой-то кривой диагонали построит М, и докажет про М, что всякий его элемент принадлежит Х, а само М не принадлежит У.
Тут-то все и повеселятся :)


(Добавить комментарий)


[info]a_radik@lj
2006-06-08 13:08 (ссылка)
Хорошо, если хотя бы логика предикатов непротиворечива!
Это, правда, считается доказанным, но если задуматься, сие доказательство есть некоторый род веры. Правда, действительно выглядящей достаточно надежно... =:)

(Ответить) (Ветвь дискуссии)

Не по теме, но о математике и о тесноте мира
[info]a_bugaev@lj
2006-06-14 11:11 (ссылка)
У тебя с хозяином журнала есть общие знакомые
http://a-bugaev.livejournal.com/91271.html?thread=192135#t192135

Вот он, нашелся в сети
http://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=18024

(Ответить) (Уровень выше)