-
強制法による AD(の truth)の保存について
2208pv 4 -
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2166pv 8 -
「数学書を読んでる人を眺めるだけの漫画」が全然わからんけどめちゃくちゃわかる「内容わからんけど性癖に刺さる」
93871pv 105 487 users 69
-
プログラミングに数学は必要か
11383pv 47 1 user -
エレン先生、小学校の算数をふりかえる
1608pv 1 -
無限スロットマシーンのパラドクス
2492pv 5 -
小学校で「集合」を習った?習わなかった?
3723pv 12 -
第 4 回 数学カフェ@関西 「藤田さんが松森さんにクラスのことを説明する会」
2567pv 15 1 user -
マディソンでの某スペシャルセッションの報告。
790pv -
「ZFCのモデル」についての会話
2389pv -
記述集合論的命題の強制可能性について
2173pv 14 -
テープカット
1139pv 1 -
「任意の実数の集合がLebesgue可測」 without Choice
6480pv 41 2 users -
数学と公理的集合論ZFC
13934pv 27 -
集合論の公理と実在の多様性?
2457pv 9 -
「論理的」なんてたいしたことじゃありません
20240pv 74 4 users 3 -
Lebesgue可測な集合の階層を巡る探求
8636pv 30 4 users 3 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6902pv 39 1 user 1 -
赤攝也『集合論入門』
14864pv 6 1 user -
『Henle集合論』勉強会・第6章
3664pv 7 -
連続体の定義可能な整列順序づけと連続体仮説の関係について
3934pv 10 -
第一回スタート集合論@ITPL #強制法 #集合論
2010pv 7 1 user 2 -
遠山啓←→吉本隆明の間にあった数学的薫陶
5543pv 10 2 -
Q-theory と最近の自分の研究について
1755pv 5