|| 人間のために「正しさ」を決定していく道具
使い手が「人間」である、思考のための『道具』。
それが数学の本質と言って良いでしょう。
解析学 Analysis
推論規則 Inference Rules
|| 推論の規則（まんま）
ざっくり言うと「論理式」から「論理式」を得る「規則」のこと。
正確には「論理式の集合」に定義できる『関係』です。
“推論規則 Inference Rules” の続きを読む超数学 Meta Mathematics
再帰理論 Recursion Theory
|| 計算できるかどうかとか、効率的かどうかとか
『人間に扱えるか』についてのあれこれを調べます。
その「人間に扱えるか」の指標として、
これは「小さな自然数」と密接に関係してます。
“再帰理論 Recursion Theory” の続きを読む