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

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

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

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

Сообщества

Настроить S2

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



Пишет Artem Chernikov ([info]archernikov)
@ 2006-02-01 10:05:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Points.
Tarski told me the following story. He
tried to publish his theorem ( |X|=|X*X| -> AxiomOfChoice ) in the
Comptes Rendus Acad. Sci. Paris but Fréchet and
Lebesgue refused to present it. Fréchet wrote that
an implication between two well known propositions
is not a new result. Lebesgue wrote that an
implication between two false propositions is of no
interest. And Tarski said that after this misadventure
he never tried to publish in the Comptes Rendus.

A System of Axioms of Set Theory for the Rationalists, Jan Mycielski

UPD: Комментарий в скобочках мой. Разумеется, там должно быть
(For all infinite sets X there exists a bijection of X to X × X) → (Axiom of Choice).


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


[info]zouboff@lj
2007-02-27 19:09 (ссылка)
Пардон за тупость (я малость отошел последнее время от математики), а вот если X - бесконечный алеф то верно ли (без АВ), что |X|=|X*X|?

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


[info]archernikov@lj
2007-03-01 18:02 (ссылка)
Да, именно так, т.е. по стандартному доказательству выбор нам только для того и нужен, чтобы объявить наше множество алефом

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


(Читать комментарии) -