|
|
Пишет Artem Chernikov (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} archernikov)@ 2006-02-01 10:05:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
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).
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).
