「#証明論」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

日記（2023/10/3）:今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_2

1年前

4

読書（2023/8/26）:解像度を落として高速で読書要約するにはどうするか_2_FIN.読書地図のすすめ

1年前

2

数理論理学の概略と特徴

かわいしん@論計舎

1年前

1

日記（2021/8/1）:読書要約をやっていたら今日が終わってしまった。マジかよ（注:論理と集合と数の専門的な話）

3年前

2

随筆（2021/1/26）：小学校算数水準での数の掛け算の「順序」という、しばしば「数学」「教育」上有害にはたらく、公理っぽい何か（B.掛け算に並び方のある、例えば「行列」の話を、掛け算に並び方のない「数」にそのまま適用させることは有害である）

3年前

4

数理議論学

3週間前

数学（2022/7/21）:キューネン本2冊についての記事_16.ZFC集合論の公理のリスト_14（最終成果物:（無限をも扱える）数学）

2年前