-
「数学書を読んでる人を眺めるだけの漫画」が全然わからんけどめちゃくちゃわかる「内容わからんけど性癖に刺さる」
93664pv 105 487 users 69 -
「数学の学習は論理的思考を鍛えるのに役立つ」の意味と根拠を問う
36626pv 90 11 users 3 -
「論理的」なんてたいしたことじゃありません
20209pv 74 4 users 3
-
赤攝也『集合論入門』
14726pv 6 1 user -
数学と公理的集合論ZFC
13903pv 27 -
プログラミングに数学は必要か
11344pv 47 1 user -
数学:集合論と選択公理
10488pv 1 11 users -
Lebesgue可測な集合の階層を巡る探求
8562pv 30 4 users 3 -
集合論のモデルの存在について~数学クラスタの日常~
7264pv 9 8 users -
難波先生の『集合論』に載ってる図が面白い件
6977pv 2 1 user 1 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6873pv 39 1 user 1 -
「任意の実数の集合がLebesgue可測」 without Choice
6472pv 41 2 users -
遠山啓←→吉本隆明の間にあった数学的薫陶
5503pv 10 2 -
超準解析と正則性公理
5371pv 5 1 user 1 -
0は自然数であることの感動させるような根拠
5149pv 25 2 users -
集合論のモデルの構成法と sheaf について。
5108pv 21 3 users -
予言と預言/与言、あるいは集合論 #prophecy
4524pv 12 3 users -
連続体の定義可能な整列順序づけと連続体仮説の関係について
3912pv 10 -
小学校で「集合」を習った?習わなかった?
3686pv 12 -
『Henle集合論』勉強会・第6章
3659pv 7 -
集合論家DIkeさんと証明論家GLogさんの対話
3652pv 14 1 user -
二階算術と集合論での決定性
3274pv 14 -
可算全順序集合が有理数体の通常の順序の部分順序になること
3116pv 2 1 user -
Turing次数理論のMartin予想をめぐる対話
3088pv 6 -
Inner model theory seminar.
3020pv 18 1 user 1