Similar to 構造主義_(数学の哲学)
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)
ZFCから独立な命題の一覧
List of statements independent of ZFC
宇宙 (数学)
Universe (mathematics)
完全関係
Connected relation
グッドスタインの定理
Goodstein's theorem
推移関係
Transitive relation
対称関係
Symmetric relation
Δ-システム補題
Sunflower (mathematics)▲1 trends
反射関係
Reflexive relation
メレオロジー
Mereology
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
数学基礎論
Foundations of mathematics
Μ再帰関数
General recursive function無限
Infinity
数学
MathematicsSéminaire de Géométrie Algébrique du Bois Marie
Séminaire de Géométrie Algébrique du Bois Marie
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
