ita https://blog.hatena.ne.jp/ita/ ita’s diary https://ita.hatenadiary.jp/ SF J うーん、やっぱわけわからん。無限を考えてトリップしましょう、ということか。 メシの種にならん集合論に深入りしたくはないけど、教科書読むと教養課程で１コマで終りそうな分量なんで、とりあえずSF者の教養として勉強しとくか。 本文にも解説にもアレフ1の定義書いてないしー。解説には選択公理と、同値な整列可能定理がうんぬんと書いてある。いちおう教科書で選択公理から整列可能定理を導く証明を見てみた。小説に使えるシロモノじゃない。ある集合Ｘの、すべての部分集合を考える。選択公理により、それぞれの部分集合から要素を一つ選ぶ関数fがある。これを使ってXを整列することができる。初めの要素は a0=f(Ｘ)。次は … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fita.hatenadiary.jp%2Fentry%2F20030331%2Fp1" title=" ルーディ・ラッカー『ホワイトライト』黒丸尚訳 ISBN:4150109729 - ita’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2003-03-31 00:00:00 rich https://ita.hatenadiary.jp/entry/20030331/p1 1.0 100%