優しょも @nizimeta
不通の人 楽に生きるぞ 短歌 utakatanka.jp/kajin/359 pixiv pixiv.net/users/68573 Discord nizimeta#3618
-
強制法におけるジェネリックフィルターとアフィンスキームにおけるジェネリックポイント
3698pv 16 1 -
数学と公理的集合論ZFC
13954pv 27 -
足立恒雄先生による「幾何学の公理系」と「数学基礎論」に関する連ツイまとめ
18672pv 38 22 users 16
-
【自分用まとめ】数学とロジック
6075pv 5 -
赤攝也『集合論入門』
14945pv 6 1 user -
超準解析において無限小量はいかなる意味で「存在する」のか
2863pv 3 -
数学:集合論と選択公理
10524pv 1 11 users -
無限ホテルと無限株式会社で考える極限順序数の夜
11299pv 16 1 user -
Lebesgue可測な集合の階層を巡る探求
8645pv 30 4 users 3 -
公理的集合論と「有限性」に関するつぶやきまとめ
1417pv 4 -
謎の数学的難問「シータパンの予想」とは
10828pv 44 1 user -
直観主義では完全性定理はトートロジーになる?
2833pv 8 -
圏論の本についてのFAQ+α+β
36965pv 67 7 users 1 -
前原 和壽著『圏論入門』実況
81292pv 138 38 users 58 -
不完全性定理に関する新井家公式見解を巡って踊る人々
49990pv 71 10 users 401 -
「超準解析は結局どんな感じの本でやるのがいいのでしょうか」に対する答
12806pv 29 1 user -
直観主義論理と真でも偽でもない命題
16028pv 25 7 users 1 -
2016になる数式まとめ
86656pv 518 279 users 561 -
Springerから本が色々無料DLできるようになったらしい
109144pv 766 279 users 459 -
和算〜江戸時代の連中は、なんちゅう計算をそろばんでしとるんだ〜
123203pv 789 87 users 397 -
【オックスフォード白熱教室】ボルヘスの『バベルの図書館』は文学を通して数学の高次元トーラスに辿りついた
13232pv 19 1 user 11 -
集合論家DIkeさんと証明論家GLogさんの対話
3666pv 14 1 user -
直観主義の数学
11152pv 21 5 users 2 -
言語・数学と科学・物理について
21252pv 197 59 users 34