alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「全ての概念入門」
11433pv 29 1 user 80 -
alg_d「圏のことなんか忘れて圏論しよう」
8623pv 4 -
ひらいずみセミナーと関西すうがく徒のつどい
5316pv 8
-
@alg_dがひたすら図式の計算をした回
6177pv 4 -
ark184「サークラなグラフ理論の話」(ヤバイ)
2664pv 6 -
天才ぴあのん先生のネコでもわかるcategorical logic
5173pv 3 1 user -
魔法少女「無限ゲームと優先法」+α
2944pv 14 -
【2016GW】何も決まっていないオフ会
4942pv 8 -
第五回ひらいずみセミナー
4289pv 7 -
第一回カラ宇か宙わ賢ず者オケ
4678pv 6 -
となりの圏遊会
4876pv 25 -
alg_d「公理追加型数学」
21536pv 18 -
j_tGAP「巨大基数入門~可測基数を巡って~」
6385pv 9 -
alg_d「(なんか長いタイトルのやつ)」
25725pv 25 1 -
第-20回 電気・水追加オフ
8199pv 14 -
第一回ルール追加オフ ~7が22枚~
18204pv 19 -
ark「五色定理・七色定理」
9185pv 17 7 -
第七回関西すうがく徒のつどい ルール追加二次会
8004pv 9 1 user 3 -
waheywey「曲線と曲面の代数幾何学」
8063pv 13 1 user 2 -
佐藤桂「対数の存在について」
8618pv 12 1 user 2 -
第三回ひらいずみセミナー(1日目)
5652pv 10 -
第三回選択公理オフ「Krull implies Zorn」
5164pv 13 -
第二回選択公理オフ「Tychonoff」
7796pv 15 -
まれいんオフ
3036pv 7 -
#ぽよ子オフ セミナー編
6237pv 12 1 user