数学の結果って全部ZFCの中に入ってるんですよね
■ このスレッドは過去ログ倉庫に格納されています
0001経済屋
NGNGZFCの中にある以上のものは出てこないんですよね、
当たり前だけど。
0002１３２人目の素数さん
NGNG0003１３２人目の素数さん
NGNG6ピースパックを家族4人で分けるには
0004経済屋
NGNG0005１３２人目の素数さん
NGNGというジョーク以上の意味はない。
0006１３２人目の素数さん
NGNGっていうくらいくだらない発言だな。
0007１３２人目の素数さん
NGNGZFC の中にあるものを研究してるって捉え方はあまり意味ないよ。
ZFC 自体を研究してるとかならともかく。
単に研究してるものを論理的に扱うには ZFC の中でやるのがいいってだけ。
0008１３２人目の素数さん
NGNGってのは、どう？(笑)
0009KingMathematician ◆5lHaaEvFNc
NGNGその証明に選択公理が使われている。
ウリゾーンの補題({0,1}に写す連続関数のやつ)の証明にも選択公理が使われている。
チコノフの定理でもやはり選択公理が使われている。
そして、選択公理とZornの補題は同値である。
0010１３２人目の素数さん
NGNGカテゴリー論なんかも研究対象が集合論からはみ出すらしいが
あまり良く知らない。
ただ>>1がZFCの研究をしていれば自動的に
数論や代数幾何学の研究をしたことになるような誤解をしているなら
その誤解は改めるべき。
（科学の結果って全部物理学のなかに入ってるんですよね、と同じ）
というか>>1は下らんことでスレ立てないで削除以来出して来い
0011１３２人目の素数さん
NGNG0012KingMathematician ◆5lHaaEvFNc
NGNG類の概念が要らないカテゴリー論があるとか…。
0013１３２人目の素数さん
NGNGじゃなくて、自分で調べてよぅマスマニア
0014KingMathematician ◆5lHaaEvFNc
NGNG自分で話題を出しといて悪いのだが、
圏論スレのどこかにあるから読んどいてくれ。
そこにも曖昧な説明しかされてないけど。
0015KingMathematician ◆5lHaaEvFNc
NGNGttp://science3.2ch.net/test/read.cgi/math/1057731708/816
ここに書いてある。
0016１３２人目の素数さん
NGNG0017１３２人目の素数さん
NGNG0018１３２人目の素数さん
NGNG0019１３２人目の素数さん
NGNG0020１３２人目の素数さん
NGNG0021１３２人目の素数さん
NGNG0022１３２人目の素数さん
NGNG0023１３２人目の素数さん
NGNG0024１３２人目の素数さん
NGNG0025１３２人目の素数さん
NGNG■ このスレッドは過去ログ倉庫に格納されています