alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「全ての概念入門」
11419pv 29 1 user 80 -
alg_d「圏のことなんか忘れて圏論しよう」
8533pv 4 -
ひらいずみセミナーと関西すうがく徒のつどい
5313pv 8
-
@alg_dがひたすら図式の計算をした回
6169pv 4 -
ark184「サークラなグラフ理論の話」(ヤバイ)
2660pv 6 -
天才ぴあのん先生のネコでもわかるcategorical logic
5170pv 3 1 user -
魔法少女「無限ゲームと優先法」+α
2940pv 14 -
【2016GW】何も決まっていないオフ会
4937pv 8 -
第五回ひらいずみセミナー
4286pv 7 -
第一回カラ宇か宙わ賢ず者オケ
4672pv 6 -
となりの圏遊会
4868pv 25 -
alg_d「公理追加型数学」
21417pv 18 -
j_tGAP「巨大基数入門~可測基数を巡って~」
6378pv 9 -
alg_d「(なんか長いタイトルのやつ)」
25560pv 25 1 -
第-20回 電気・水追加オフ
8187pv 14 -
第一回ルール追加オフ ~7が22枚~
18197pv 19 -
ark「五色定理・七色定理」
9152pv 17 7 -
第七回関西すうがく徒のつどい ルール追加二次会
7937pv 9 1 user 3 -
waheywey「曲線と曲面の代数幾何学」
8048pv 13 1 user 2 -
佐藤桂「対数の存在について」
8604pv 12 1 user 2 -
第三回ひらいずみセミナー(1日目)
5649pv 10 -
第三回選択公理オフ「Krull implies Zorn」
5157pv 13 -
第二回選択公理オフ「Tychonoff」
7740pv 15 -
まれいんオフ
3030pv 7 -
#ぽよ子オフ セミナー編
6222pv 12 1 user