- 1 名前：１３２人目の素数さん [2008/12/11(木) 20:36:20 ]
- 集合論について語るスレ
- 49 名前：１３２人目の素数さん mailto:sage [2009/07/08(水) 21:22:45 ]
- >>21
＞アレフ1にしたがる人はまずいない。
例えばErdösとか。
彼の無限組合せ論の定理には、
連続体仮説が正しいなら～～という種類のものが多くて、
なおかつ集合論は集合に関する真理の探究だという
普通の数学者に近いスタンスの人なので。
- 50 名前：１３２人目の素数さん mailto:sage [2009/07/09(木) 00:01:03 ]
- >>49
ただそれってほとんど連続体仮説と同値になってしまってつまらないんだよね。それが貧しいということ。
- 51 名前：１３２人目の素数さん mailto:sage [2009/07/15(水) 21:38:00 ]
- 集合論の研究が今ほど発展してなかった頃は、エルデシュを始めアレフ１が自然だと思っている人が多かったかもな。
アレフ２が自然だと言う人が現れ始めたのは、集合論の研究が進んで色々なことが分かってきてからだから。
エルデシュも今生きていれば、最近の集合論が得た結果を見て、アレフ２が自然だと言うかもしれない。
- 52 名前：１３２人目の素数さん mailto:sage [2009/07/15(水) 21:46:35 ]
- Gödelはaleph 2 が自然だと結構前から言ってたよね
|2^ω| = aleph 2ということを言い出したのは彼が最初なんだろうか
- 53 名前：１３２人目の素数さん mailto:sage [2009/08/18(火) 16:12:18 ]
- 130
- 54 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 18:58:12 ]
- 2^ω
↑これムカツクなｗ
- 55 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 00:03:55 ]
- 2^ω^3
- 56 名前：１３２人目の素数さん mailto:sage [2009/09/27(日) 01:04:28 ]
- (^ω^)
- 57 名前：１３２人目の素数さん mailto:sage [2009/09/27(日) 02:59:24 ]
- >>51
> 集合論の研究が今ほど発展してなかった頃は、エルデシュを始めアレフ１が自然だと思っている人が多かったかもな。
つか2^ωがアレフ2かそれ以上ならアレフ1の集合に関しては具体的な構成法が一つも知られてないって事になるよね。
そうすると集合論の専門家以外にとっては不思議な感じがするよね。存在はすれど具体例は一つとして提示不能という事になるんだから。
- 58 名前：１３２人目の素数さん mailto:sage [2009/09/27(日) 08:26:31 ]
- アレフ１の話とは別にその手の存在すれども具体的には記述不可能なものってのは選択公理使って初期にはもう知られていたんじゃね？
- 59 名前：１３２人目の素数さん [2009/09/28(月) 09:15:37 ]
- ふむ
- 60 名前：１３２人目の素数さん mailto:sage [2009/09/28(月) 10:06:23 ]
- そのまんま「可算な順序数の集合」じゃあかんの？
- 61 名前：１３２人目の素数さん mailto:sage [2009/09/28(月) 22:06:12 ]
- すみません、基本的な話で申し訳無いのですが、下記表現の基礎の公理
∀ｘ［ ∃ｙ（ｙ∈ｘ）⇒∃ｙ（ｙ∈ｘ∧￢∃ｚ（ｚ∈ｘ∧ｚ∈ｙ））］
がどうして無限降下列を排除できるのか判りません……
どう考えたら ｚ∈ｙ∈ｘ∈ｚ とか排除したことになるのか、どなたか解説orヒントを頂けませんか？
- 62 名前：１３２人目の素数さん mailto:sage [2009/09/28(月) 22:45:24 ]
- 上の式の x に {x, y, z} を代入して色々やってみる
- 63 名前：61 mailto:sage [2009/09/28(月) 23:57:33 ]
- 弄ってますが上手く行かないです……
￢∃ｚ（ｚ∈ｙ∈｛ｘ、ｙ、ｚ｝∧ｚ∈｛ｘ、ｙ、ｚ｝）
なんて意味無いしなぁ……
｛ｘ、ｙ、ｚ｝∈ｚをどうにかして導くのですかね？
- 64 名前：１３２人目の素数さん mailto:sage [2009/09/29(火) 00:04:28 ]
- 上の式のxとかyと下の式のxとかyは同じじゃないから
a∈c∈b∈aとか別の文字で置き換えた方が良いかも
{a, b, c} は空でないから、
∃y（y∈{a, b, c}∧￢∃z（z∈{a, b, c}∧z∈y
となるけど、このyもzも三通りの可能性しかないことに注意
- 65 名前：61 mailto:sage [2009/09/29(火) 01:09:26 ]
- >64 サンクスです。こんな感じでしょうか？
a∈c∈b∈a を満たす要素の集合{a, b, c}がもし基礎の公理を満たすと仮定すると
∃y（y∈{a, b, c}∧￢∃z（z∈{a, b, c}∧z∈y))∧(a∈c∈b∈a)
ここで
y = a の時 z = bについて
￢∃b(b∈a) ∧ a∈c∈b∈a となり矛盾
(y = b, c の時も同様 z = c, aで矛盾)
ところで、zがa, b, cのいずれとも一致しない場合は考える必要は無いのでしょうか？
y = a, z ≠ a, b, cとして
∃(z∈a)∧(a∈c∈b∈a)
となりそうな気がしますが、どの部分が間違っているのでしょうか？
- 66 名前：１３２人目の素数さん mailto:sage [2009/09/29(火) 01:29:48 ]
- どうもあまり分かってない感じ
要は{a,b,c}が>>61の任意のxに対して～が成り立つという
公理の反例になってるということで、￢(b∈a)は出て来ないはず
それから￢(b∈a)と￢∃b(b∈a)（これは￢∃x(x∈a)と同値）
は意味が違うので区別して考えないと駄目
∑（bは1からnまで）b^2 と
∑（xは1からnまで）x^2 が一緒なのと同じ理屈
＞zがa, b, cのいずれとも一致しない場合
z∈{a, b, c}なんだからzはこの三つのどれかでしょ
- 67 名前：61 mailto:sage [2009/09/29(火) 02:54:23 ]
- >66 ありがとう。ちょっと判ったような……
確かに量化されているのとされていないのをごっちゃにしては不味いですね。
どうも量化子の理解が足りない感じです。量化子の否定も含めて調べなおしてみます。
- 68 名前：１３２人目の素数さん mailto:sage [2009/09/29(火) 03:44:53 ]
- それ以前の問題のような…
- 69 名前：１３２人目の素数さん mailto:sage [2009/09/29(火) 07:43:13 ]
- ∈は二項述語だから省略せずに書いて確かめてみたら？
- 70 名前：１３２人目の素数さん mailto:sage [2009/09/29(火) 10:09:45 ]
- ￢∃z（z∈x∧z∈y）
∀z￢（z∈x∧z∈y）
∀z（￢z∈x∨￢z∈y）
∀z（z∈x→￢z∈y）
∀z∈x（￢z∈y）
よって、yよりは下降しない
- 71 名前：61 mailto:sage [2009/09/29(火) 23:54:25 ]
- >70
計算サンキューです。下から2行目の形で形式化している本もありますね。
色々と弄ってみます。
しかし、集合ってあんな簡単な構造なのに色々出来て面白いですね。
- 72 名前：１３２人目の素数さん [2009/10/04(日) 02:04:17 ]
- first uncountable ordinal
について調べています。
(X,≦')を全順序集合とする時,Xに含まれない元wでX∪{w}に≦を
∀x∈Xに対して,x<w、∀x,y∈Xに対してはx≦yはx≦'yと定義して
≦'を≦に拡張して(X∪{w},≦)も全順序集合に仕立て上げる事ができる。
この時,wをfirst uncountable ordinalと呼ぶ。
と解釈しているのですがこれで大丈夫でしょうか?
- 73 名前：１３２人目の素数さん mailto:sage [2009/10/04(日) 02:28:00 ]
- 全然ダメです、としか言いようがないが……
Xは何でも良いみたいな書き方してるけど
例えば全順序集合X := {0, 1, 2} に w=3 を付け加えて
XをX' = {0, 1, 2, 3}に拡張することができる。
じゃ3はfirst uncountable ordinalになるってこと？
そういうことが書いてあるけど。
あと整列順序と全順序の違いも分かってないみたいだし
たぶん順序数の定義も知らないと思う。
寧ろなんでそれで大丈夫かもしれないとか思ったのか分からない。
- 74 名前：１３２人目の素数さん [2009/10/04(日) 06:25:28 ]
- > じゃ3はfirst uncountable ordinalになるってこと？
> そういうことが書いてあるけど。
うーん,そういう事になりますね。
> あと整列順序と全順序の違いも分かってないみたいだし
前者は任意の部分集合が最小値を持つ全順序集合のことです。
もしかしてXは整列集合でないといけないんですか?
> たぶん順序数の定義も知らないと思う。
これは自然数全体の集合Nと対等な集合ですね。
> 寧ろなんでそれで大丈夫かもしれないとか思ったのか分からない。
以前,何かの本で見かけたのですが定義は何だったかはっきり覚えてなかったもので。。
- 75 名前：１３２人目の素数さん mailto:sage [2009/10/04(日) 07:42:30 ]
- このスレにも例の主が出没しているのか……
迷惑なこと限りなしだな
- 76 名前：１３２人目の素数さん mailto:sage [2009/10/04(日) 07:44:34 ]
- >> たぶん順序数の定義も知らないと思う。
> これは自然数全体の集合Nと対等な集合ですね。
ｳﾋｬｯｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
本当に順序数の定義知らないでやんのｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
>>74死ね(`Д´#######)
- 77 名前：１３２人目の素数さん [2009/10/04(日) 08:29:44 ]
- > 76
順序数の定義は整列集合と対等な集合の事でした。
- 78 名前：れぶ mailto:sage [2009/10/04(日) 08:38:39 ]
-
- 79 名前：１３２人目の素数さん mailto:sage [2009/10/04(日) 08:46:35 ]
- 対等な集合じゃなくて順序同型類だろ
- 80 名前：１３２人目の素数さん mailto:sage [2009/10/04(日) 09:29:41 ]
- >>77
おまえ、順序数と基数の違いを言ってみろ
- 81 名前：１３２人目の素数さん [2009/10/05(月) 00:56:25 ]
- > 79
> 対等な集合じゃなくて順序同型類だろ
そうでした。対等だけだと単に全単射な関係というだけですね。
順序同型も要りましたね。
> 80
>>>77
> おまえ、順序数と基数の違いを言ってみろ
基数とは対等関係の事です。
たとえば「AとBが対等の時,AとBの基数は等しい」
更に順序同型である時,AとBは同じ順序型であるといい,
{A;Aは整列集合と同じ順序型}という類の事を順序数というのですね。
- 82 名前：１３２人目の素数さん [2009/10/18(日) 00:07:59 ]
- >81 です。
分かりました。
Xが可算集合でw∈X^cで任意のx∈Xに対し,x<wと定義して順序を拡大して新たな全順序集合が得られる。
この時のwをfirst uncountable ordinalというのですね。
- 83 名前：１３２人目の素数さん mailto:sage [2009/10/18(日) 01:58:06 ]
- Noです。
- 84 名前：１３２人目の素数さん [2009/10/19(月) 00:29:57 ]
- >83
えっ? 何が間違ってますか?
- 85 名前：１３２人目の素数さん mailto:sage [2009/10/19(月) 00:33:30 ]
- そもそも非可算（uncountable）ということの意味分かってない
それに
「このとき新たに付け加える～～を最初の非可算順序数という」
という定義の仕方自体が間違い
全順序と整列順序の違いもやっぱり分かってない
>>82は何を調べて書いたの？
マトモな教科書を一冊くらい読んだほうが良いよ
- 86 名前：１３２人目の素数さん mailto:sage [2009/10/19(月) 14:29:56 ]
- >>84
お前の言っていることでまともにあっていることのほうが少ない。
- 87 名前：１３２人目の素数さん mailto:sage [2009/10/21(水) 08:24:25 ]
- 全ての順序数の集まり。これは「クラス」であって「集合」ではない。
「集合」とみなすと矛盾を生じるってのは分かるんですが、結局「クラス」って何？
何か良い参考書はありませんか？
集合論については、松坂和夫「集合・位相入門」 を読んだ程度です。
- 88 名前：１３２人目の素数さん mailto:sage [2009/10/21(水) 12:19:44 ]
- en.wikipedia.org/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory
- 89 名前：１３２人目の素数さん mailto:sage [2009/10/27(火) 17:53:25 ]
- >>87
河合文化教育研究所の公理論的集合論（倉田令二朗著）と
培風館の公理的集合論（田中尚夫）の二つがある
前者の方が説明は短い
- 90 名前：１３２人目の素数さん mailto:sage [2009/10/27(火) 18:11:06 ]
- 田中尚夫の本は、クラスはただの方便なので論理式の略記だと思えば良い、
程度の記述しか無いよ。最初これで勉強して良く分からなかった覚えがある。
倉田・篠田はNBGが有限公理化可能であることの証明がちゃんと載っている。
どちらも図書館で読むしかないけど。
- 91 名前：１３２人目の素数さん mailto:sage [2009/10/28(水) 11:19:55 ]
- コーヘンの連続体仮説もBGの解説がある、でも出版社があれ。
- 92 名前：１３２人目の素数さん mailto:sage [2009/10/28(水) 16:47:40 ]
- Doverってことか。でも安いから良いじゃん。
下手に二万五千とかの値段付けられても困る。
- 93 名前：１３２人目の素数さん mailto:sage [2009/11/09(月) 20:46:38 ]
- うまく言えないんだが、実数の濃度以上の集合上で、極限ってとれるの？？
- 94 名前：１３２人目の素数さん mailto:sage [2009/11/09(月) 22:05:41 ]
- Banach空間とか。
- 95 名前：１３２人目の素数さん mailto:sage [2009/11/10(火) 04:52:11 ]
- lim[n→∞]x_n=xは
∀B(Bはxの近傍)∃n∈N∀m∈N (m≧n→x_m∈B)
と書ける
Nを任意の濃度の集合Xに変えてX上の順序≧が
「∀x,y,z∈X(x≧y and y≧z →x≧z)」と「∀x,y∈X∃z∈X(z≧x and z≧y)」を
満たすようにしてやればXの要素を添え字としてもつ列x_a(a∈X)を考えて
∀B(Bはxの近傍)∃a∈X∀b∈X (b≧a→x_b∈B)
が一般の極限x_a→x(a∈B)を与えるようになる
- 96 名前：93 mailto:sage [2009/11/10(火) 08:57:44 ]
- 数学凄いぜ！！
そういう極限の一般化みたいな話はどの教科書に載ってるんだろう？？
- 97 名前：１３２人目の素数さん mailto:sage [2009/11/10(火) 14:50:58 ]
- >>96
位相空間の本に載ってるぞ
とりあえず松坂和夫の集合・位相入門には載ってた
- 98 名前：93 mailto:sage [2009/11/10(火) 14:58:05 ]
- ここやさしい人が多い！
その本勉強します
- 99 名前：１３２人目の素数さん [2009/11/21(土) 21:24:32 ]
- > 85
再度,first uncountable ordinalの定義に就いての質問です。
アレフ0<アレフ1<アレフ2<…
となっている時,
アレフ1はアレフ0のfirst countable ordinal、
アレフ2はアレフ1のfirst countable ordinal
と習ったのですがこれで正しいでしょうか?
- 100 名前：１３２人目の素数さん mailto:sage [2009/11/21(土) 23:45:38 ]
- すみません質問します…
ＡがＴでＢがＴなら、Ａ⇒ＢはＴ ってコトなんですが、ＡとＢが因果関係ないのに
Ａ⇒ＢはＴ ってやって良いのですか？
実数の範囲で考えて Ａが「ｘ＾２＞０」 Ｂが「人間は動物である」 とすると…
「ｘ＾２＞０」 ならば 「人間は動物である」 もＴになるんでしょうか？
- 101 名前：１３２人目の素数さん mailto:sage [2009/11/22(日) 07:04:08 ]
- >>99
おまえ、もう数学やめろ
- 102 名前：１３２人目の素数さん mailto:sage [2009/11/22(日) 11:22:48 ]
- 止める以前に始まってもいないというか
- 103 名前：１３２人目の素数さん [2009/11/22(日) 12:45:47 ]
- > 101,102
すんません。定義を教えていただけますか?
- 104 名前：１３２人目の素数さん mailto:sage [2009/11/22(日) 22:51:06 ]
- >>100
そう使うんじゃなくて、
「Aが真」と「A→Bが真」を証明することで「Bが真」であることを示すために使うの。
- 105 名前：１３２人目の素数さん mailto:sage [2009/11/22(日) 23:00:41 ]
- 上極限集合と下極限集合がよく分かりません。定義式を見ましたが、いまいち理解できませんでした。
もし可能ならば、具体例を交えつつ教えていただきたいです。
- 106 名前：１３２人目の素数さん mailto:sage [2009/11/23(月) 07:41:29 ]
- >>105
実数列の上極限や下極限は分かるの？
もし分かるなら、それがどういう意味であるのかを論理式どおり読めば
上極限集合とかも意味が分かるはずだけど。
数列の場合から言葉を流用してるだけだから、上とか下とか付いてる理由は
考えないほうがいいよ。
- 107 名前：１３２人目の素数さん mailto:sage [2009/11/23(月) 08:14:25 ]
- >>106
そうなんですか。ありがとうございます。
- 108 名前：１３２人目の素数さん mailto:sage [2009/11/23(月) 10:34:52 ]
- 上極限集合とかのどのへんが集合論なんだろう…
- 109 名前：61 mailto:sage [2009/11/24(火) 23:11:25 ]
- その節はどうもです。遅蒔きながら>61の自己フォローです。
『集合論とはなにか』（竹内外史 著）に詳しい解説ありますね。
その他にも色々と深い話が載っていて、非常に参考になりました。BLUE BACKSとは思えん……
追加で質問なのですが、この本の中に出て来る量子論理についての初心者・初学者向けの本は
ありませんでしょうか？ とても興味深い論理なので少し詳しく調べたいのですが、日本語で
参照できる範囲のWebではあまり話題になっていないようですし……
- 110 名前：１３２人目の素数さん mailto:sage [2009/11/24(火) 23:19:47 ]
- 量子論理はちょっと無いかなあ
- 111 名前：61 mailto:sage [2009/11/25(水) 00:26:29 ]
- そうですか。ありませんか。
美しいと思うんですけど、誰も興味無いのかなぁ……
- 112 名前：１３２人目の素数さん mailto:sage [2009/11/25(水) 04:46:24 ]
- >>109
量子論理は量子力学での観測が従う「論理」だから、論理としてはどうしてもマイナーになってしまうので
日本語で読める量子論理に関する本は非常に限られてしまうのだけれど、次のものには多少とも解説がある。
（１）前田『束論と量子論理』、槇書店
日本語で読める量子論理の本としては最も本格的で丸々１冊が量子論理と関連する束の話なのだけれど、
残念ながら絶版、というか出版元そのものが消滅したので復刊は絶望的。図書館になければ古書で探すしかない。
（２）竹内『線形代数と量子力学』、裳華房
付録にシーケント計算の形式（だったと思う）の命題量子論理の説明がある。
（３）ギビンズ『量子論理の限界』、産業図書
いわゆる量子力学の観測問題や解釈に関する解説本（非専門家向け）で、量子論理に関して数十ページの解説がある。
（３）は入手も容易だし読みやすいので、この辺から入ってはどうだろうか？
それと、量子論理とは銘打ってなくとも、量子力学の観測問題を扱った本には量子論理の事が断片的にせよ書いてあるものも少なくない。
例えば、
（４）ヤンマー『量子力学の哲学』（上・下）、紀伊国屋書店
これは幸いにも少し前に復刊されたが、その８章（下巻）は量子論理を扱っている。
（５）レッドヘッド『不完全性・非局所性・実在主義』、みすず書房
７章で量子論理を扱っている。
いずれにせよ、量子論理が何故必要か、あるいはそういう変テコな論理を考える意義があるかを理解するには、
量子力学での観測の概念を知り、そこに横たわっている問題（観測問題）を多少とも知っておく必要があると思う。
（少なくとも、それらを直感的にでも知っていれば量子論理を学ぶ動機付けにはなる）
だから量子論理について書いてある本のほとんどは数学書や数理論理学書でなくて物理学書なんだよ。
- 113 名前：１３２人目の素数さん mailto:sage [2009/11/25(水) 09:40:27 ]
- 量子力学の初歩ならメシアの2巻まで読んだけど、なんで量子論理なんて必要なのかねぇ。
いまいちわからん。
- 114 名前：61 mailto:sage [2009/11/26(木) 00:31:42 ]
- >112
ありがとうございます。まずは(3)を探してみます。(2)は神保町で見掛けたかな？今度寄ってみよう。
(1)は二万円前後か……さすがに初学の段階では買えませんね。
まあ、実際には量子力学の方には興味なくて、古典論理で量子論理がエミュレートできないかに
興味があるんですよね。直観論理はなんかエミュレートできそうな感じですので、量子論理にも
なんかそういった切り口があるのかどうかを勉強したいと考えています。
- 115 名前：１３２人目の素数さん [2009/11/26(木) 22:30:08 ]
- 素朴集合論の問題出してる院試ってある？
- 116 名前：１３２人目の素数さん mailto:sage [2010/01/30(土) 21:30:42 ]
- 集合{φ,a,{b,c}}の部分集合って
φ、{φ}、{a}、{b,c}、{φ,a}、{a,{b,c}}、{φ,{b,c}}、{φ,a,{b,c}}
で全てでしょうか？
- 117 名前：１３２人目の素数さん mailto:sage [2010/01/30(土) 23:09:08 ]
- うん
2^( #{φ,a,{b,c}} ) = 2^3で = 8個
- 118 名前：１３２人目の素数さん mailto:sage [2010/01/31(日) 11:52:52 ]
- >>117
どうもです。
- 119 名前：１３２人目の素数さん mailto:sage [2010/02/01(月) 11:43:28 ]
- a=b=cって可能性はないの？
- 120 名前：１３２人目の素数さん mailto:sage [2010/02/01(月) 11:45:51 ]
- ごめん。{b,c}じゃなくて、{{b,c}}だからいいのか。でもφ=aは考えなくていいのかな。
- 121 名前：１３２人目の素数さん mailto:sage [2010/02/01(月) 14:30:54 ]
- a={b,c}かどうか、a=Øかどうかで場合分けないといけないね
両方成り立たない場合は2^3、片方成り立つ場合は2^2、
両方成り立つことはあり得ない
- 122 名前：１３２人目の素数さん mailto:sage [2010/03/10(水) 16:37:17 ]
- 292
- 123 名前：１３２人目の素数さん mailto:sage [2010/04/29(木) 00:39:26 ]
- アレフ０より小さい無限を発見したよ
厳密な証明は㍉なので以下骨子
素数の全体集合（P）と、そのベキ集合（P’）を考える
P’の任意の要素（= Pの部分集合） p'nを取り出し、番号として自然数を割り当てる。
割り当てる自然数は p'n の要素（素数）を全て掛け合せた数とする。
例えば p'n=( 2,3,5 )ならば 2*3*5=30 ( 7,9 )ならば、7*9=63 等々
するとP'の全ての要素に対し、一意に固有の自然数を割り振ることができる。
すなわちP'の濃度は可算濃度である。
ゆえにPの濃度は可算濃度より小さくなければならない。
以上
- 124 名前：１３２人目の素数さん mailto:sage [2010/04/29(木) 07:34:13 ]
- Pの有限部分集合は可算濃度だけどね。
無限部分集合の場合は？
- 125 名前：１３２人目の素数さん mailto:sage [2010/04/29(木) 07:48:18 ]
- 素朴集合論習いはじめてよくやる間違いだな
この間違いをやらかすかやらかさないかでセンスの有り無しがはかれる。
- 126 名前：１３２人目の素数さん mailto:sage [2010/05/02(日) 12:22:50 ]
- マグロウヒルの集合論ってめちゃくちゃわかりやすい。
集合論の考え方を平易且つ必要事項をしっかり書いてるし、
理系学部初年度で集合論と位相をやらないのかな。。。
あれないと、数学の勉強するときに一々無用なところでひっかかるし、
教科書の記述はほとんど集合論的解釈で始まるから、ここ押さえてないとどうしても前にいけないし。
まぁでもそのときは物理数学的な本から学べばいいんだけど、そこでも少し出てくるしね。
数学入門として、現代数学の内部構造をはっきりさせてほしい。
よく代数幾何解析の３本って言われるけど、全然全体と符合しない気がする。
数学基礎論としての集合論がまずは基本になって、その解釈の上に代数や幾何・解析が展開されてる感じと思った。
そういうのがあったら、もっと早く理解できていくのに。
- 127 名前：１３２人目の素数さん [2010/05/04(火) 09:11:36 ]
- hoge
- 128 名前：１３２人目の素数さん [2010/05/04(火) 11:02:04 ]
- 生靈神社はまだありますか
- 129 名前：１３２人目の素数さん mailto:sage [2010/06/27(日) 12:30:19 ]
- 473
- 130 名前：１３２人目の素数さん mailto:sage [2010/07/07(水) 13:50:41 ]
- {a} = {a, a} = {a, a, a} = ...
aは無限にあってもいいのか？
- 131 名前：１３２人目の素数さん mailto:sage [2010/07/10(土) 01:08:40 ]
- その書き方で無限に列挙することはできません
- 132 名前：１３２人目の素数さん [2010/07/13(火) 01:08:22 ]
- ちんぽ！
|
 |
