スマートコン @mr_konn
『真猿をのぞくとき、真猿もまたこちらをのぞいているのである.』
-
elementary submodel、モデル理論っぽい集合論
4070pv 2 -
Springerから本が色々無料DLできるようになったらしい
109222pv 766 279 users 459
-
mr_konnさんによる「イデアルとデデキント切断」の話
2992pv 13 -
名前の近い数学者
5875pv 39 2 users 1 -
強制法におけるジェネリックフィルターとアフィンスキームにおけるジェネリックポイント
3708pv 16 1 -
2015年1月13日夜のわけわかんねぇ
2109pv 4 -
全ての素数の積が偶数なのが納得がいかない数学徒たち
122839pv 519 31 users 463 -
alg_dがルール追加大富豪に挑戦した話 ~革命したくない?~
33330pv 138 8 users 10 -
cabal seminarの話に至る経緯
2052pv 11 -
2013年選択公理の日・第四回選択公理オフ
7881pv 23 -
選択公理理解してません
4021pv 12 2 users -
その代償に俺は死ぬ
18452pv 84 2 users 1 -
集合論家DIkeさんと証明論家GLogさんの対話
3669pv 14 1 user -
2013年05月02日深夜の数学クラスタ
2526pv 7 -
2013年04月25日のワヘイヘイの@欄
1894pv 4 -
Consequences of the Axiom of Choice
1993pv 8 1 user -
ひゃぬっゅた巡回群
1864pv 3 1 user -
mr_konn氏による決定性公理オフ実況
8380pv 18 1 user -
第一回関東すうがく徒のつどい(2日目)
8632pv 27 -
第一回関東すうがく徒のつどい(1日目)
13719pv 36 -
第四回ひらいずみセミナー
8438pv 12 1 user -
カメックス
1127pv 5 1 user -
ススリンのことかーーーっ!!! (続・実数TL)
7498pv 35 3 users -
おいでよ すうぶつの森
3894pv 17