蟆 @patho_logic
数学(集合論みたいなものの周辺)の研究してるはず.オペラいきたい.へっぽこランナー.駅伝部(私設)所属。自転車部は一時休部中.
-
Springerから本が色々無料DLできるようになったらしい
109220pv 766 279 users 459 -
(祝)解析概論アニメ出演
34159pv 206 8 users 18 -
Thompson群と文脈自由言語
2272pv 20 2 users
-
cabal seminarの話に至る経緯
2052pv 11 -
Spring Topology行ってきたよ報告
2273pv 13 1 user -
東京教育大1960-1970年代数学基礎論
3805pv 15 2 users 1 -
集合論家DIkeさんと証明論家GLogさんの対話
3669pv 14 1 user -
2012年選択公理の日
11059pv 37 2 users -
収束列が取れるか。単射と全射から全単射が作れるか。
11835pv 64 4 users -
数学できるかわず先生 ! ! ! ! ! !
18350pv 96 3 users -
スタート集合論
2599pv 9 2 users -
ブルバキの論理体系と「選択公理」
10371pv 39 7 users 1 -
集合論と数学の形而上学
6223pv 16 3 users 3 -
ススリンのことかーーーっ!!! (続・実数TL)
7498pv 35 3 users -
マイケル・アティヤ『数学とは何か』関連ポストまとめ
9186pv 37 2 users