数学の基礎: 二つの道数学の基礎: 二つの道建設的数学と古典数学の対立を探る。論理学構成的数学と古典数学をつなげる構成的数学と古典的帰納的数学の相互作用を探る。2025-07-10T10:39:22+00:00 ― 0 分で読む
ミニマリストファンデーショミニマリストファンデーションの真実現代数学の思考のためのしっかりした基盤。論理学数学のミニマリスト基礎の紹介数学の基礎に対する新しいアプローチで、明確さと構造に焦点を当ててる。2025-07-06T07:54:24+00:00 ― 0 分で読む