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

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]archernikov@lj
2006-02-01 05:02 (ссылка)
Ну конечно, все эти модные теоретико-множественные штучки ограничивали область применимости его основных идей!

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


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