投稿日: 2020年5月20日2022年6月30日数学に関する見解 || 人間のために「正しさ」を決定していく道具 使い手が「人間」である、思考のための『道具』。 それが数学の本質と言って良いでしょう。 “数学に関する見解” の続きを読む
投稿日: 2019年4月1日2020年2月23日推論規則 Inference Rules || 推論の規則(まんま) ざっくり言うと「論理式」から「論理式」を得る「規則」のこと。 正確には「論理式の集合」に定義できる『関係』です。 “推論規則 Inference Rules” の続きを読む
投稿日: 2019年3月30日2021年8月16日超数学 Meta Mathematics || 超(メタ) これ、なにかって言うと、 「数学」について研究する「数学」の一分野のことです。はい。 “超数学 Meta Mathematics” の続きを読む
投稿日: 2019年3月25日2021年8月16日再帰理論 Recursion Theory || 計算できるかどうかとか、効率的かどうかとか 『人間に扱えるか』についてのあれこれを調べます。 “再帰理論 Recursion Theory” の続きを読む