代數・幾何・解析
代數的 (algebra)
代数学 - Wikipedia
操作。
Gottfried Wilhelm Leibniz
記號
言語
アルゴリズム - Wikipedia
インド數學
インドの数学 - Wikipedia
幾何的 (geometry)
幾何学 - Wikipedia
證明。
Baruch De Spinoza
多樣體
圖形。空閒。視覺的直感
代數的 (algebra)
変換幾何学 - Wikipedia
(transformation geometry)
解析幾何学 - Wikipedia
(analytic geometry)
Erlanger 目錄
幾何的 (geometry)
綜合幾何学 - Wikipedia
(synthetic geometry)
初等幾何学 - Wikipedia
(elementary geometry)
Ευκλείδεια 幾何の公理系
定規とコンパスによる作図 - Wikipedia
折紙の数学 - Wikipedia#折り紙幾何学
折り紙公理 - Wikipedia
定規とコンパスによる作図 - Wikipedia#折り紙を利用した作図
解析的 (analytics)
代数幾何学 - Wikipedia
(algebraic geometry)
空閒上の函數環
ギリシャ數學
Greek mathematics - Wikipedia
解析的 (analytics)
解析学 - Wikipedia
近似。
René Descartes
計算
無限
函數
中國數學
中国の数学 - Wikipedia
和算 - Wikipedia
特殊算 - Wikipedia
数学の統一理論 - Wikipedia
數學基礎論
数学基礎論 - Wikipedia
Foundations of mathematics - Wikipedia
foundation of mathematics in nLab
集合
論
型理論
圈
初等 topos
集合の圈の初等理論 (ETCS)
(elementary theory of the category of sets)
ETCS in nLab
fully formal ETCS in nLab
Elementary Theory of the Category of Sets - Wikipedia
F. William Lawvere “An elementary theory of the category of sets” 1964/12/15
圏論的集合論である ETCS における集合と写像の定義 - TakuLabo
置換公理型を認めない初等トポスの一般論の中で、集合 {x∈X|P(x)} はどのようにして構成されるのか - TakuLabo
一元體
computational trilogy in nLab
computation - logoc - spaces
Curry-Howard 對應
カリー＝ハワード同型対応 - Wikipedia
table:Curry-Howard 對應
計算 論理 空閒
圈
論理式 對象
證明 射
cut
合成射
top 型 眞
終對象
bottom 型 僞
始對象
函數型 含意
冪對象
直積型 論理積
積 (圈)
直和型 論理和
餘積
依存積 全稱量化
依存和 存在量化
Cartesian 閉圈 (CCC)
(Cartesian closed category)
Categorical logic - Wikipedia
homotopy 型理論 (HoTT)
relation between type theory and category theory in nLab
Church-Turing の thesis
プログラム意味論 - Wikipedia
propositions as types in nLab
proofs as programs in nLab
syntax-semantics duality in nLab
initiality conjecture in nLab
數學の不自然な有效性