教義とその完成教義とその完成数学の枠組みとその役割についての深掘り。カテゴリー理論数学の教義を理解する数理の教義、その完成度、応用についての概要。2025-10-18T16:02:07+00:00 ― 1 分で読む
Wタイプと形式的トポロジーWタイプと形式的トポロジーがリンクしてない型理論の洞察を通じて数学的構造をつなぐ。計算機科学における論理W型と形式的トポロジーの架け橋W型と形式トポロジーの数学における関係を探る。2025-10-08T05:47:06+00:00 ― 1 分で読む
数学の基礎: 二つの道数学の基礎: 二つの道建設的数学と古典数学の対立を探る。論理学構成的数学と古典数学をつなげる構成的数学と古典的帰納的数学の相互作用を探る。2025-07-10T10:39:22+00:00 ― 0 分で読む
ミニマリストファンデーショミニマリストファンデーションの真実現代数学の思考のためのしっかりした基盤。論理学数学のミニマリスト基礎の紹介数学の基礎に対する新しいアプローチで、明確さと構造に焦点を当ててる。2025-07-06T07:54:24+00:00 ― 0 分で読む