alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
数学の記号で作った動物的な何か
6499pv 23 -
センター数2B騒動
40925pv 166 2 -
cabal seminarの話に至る経緯
2045pv 11
-
alg_d 「数学の諸定理と選択公理の関係」
8356pv 18 1 user -
alg-d「代数学における選択公理」
8918pv 26 2 users 3 -
「眠り兎トゥギャッタラーへの道」をトゥギャりません。
1532pv 6 1 user -
【狭義悪質】ある日のクラスタ談義【広義悪質】
18684pv 84 -
ナベクロ数学
2758pv 20 -
直観主義論理と真でも偽でもない命題
15994pv 25 7 users 1 -
相転移と臨界現象の数理を皆で査読しよう
10328pv 16 -
集合論のオススメ教科書からゲーデルTLまで
26115pv 27 36 users -
超準解析を代数的に。
17670pv 60 8 users 2 -
閉包とは
16097pv 28 1 user -
ススリンのことかーーーっ!!! (続・実数TL)
7458pv 35 3 users -
朝の稠密な数学 TL
7818pv 17 2 users -
記憶の切繪図
4363pv 17 2 users -
世界観3.0-場の量子論的世界観
5388pv 37 2 users