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