晴れのちところにより一時ゼルプスト殿下 @tenapi
数理論理学と集合論を専攻する数学者のハシクレ。
-
集合論家DIkeさんと証明論家GLogさんの対話
3664pv 14 1 user -
H次数についての対話 2013-08-05
1230pv 3 -
Turing次数理論のMartin予想をめぐる対話
3096pv 6
-
計算論家トリイロさんと集合論家DIkeさんの対話
2870pv 9 2 users -
2013年6月11日のハヤシライス
1064pv 4 -
lim記号と「定義による拡大」
6479pv 20 1 user -
回文という異文化TL
1614pv 8 -
時短ことわざ集
2624pv 15