投稿日: 2020年5月20日2023年9月28日数学に関する見解 || 人間のために「正しさ」を決定していく道具使い手が「人間」である、思考のための『道具』。それが数学の本質と言って良いでしょう。 “数学に関する見解” の続きを読む
投稿日: 2019年4月1日2025年12月5日推論規則 Inference Rules || 推論の中でも特に正しいやつ『演繹的推論』を『形式化したもの』“推論規則 Inference Rules” の続きを読む
投稿日: 2019年3月30日2023年9月28日超数学 Meta Mathematics || 超（メタ）「数学」について研究する「数学」の一分野のこと。“超数学 Meta Mathematics” の続きを読む
投稿日: 2019年3月25日2023年9月29日再帰理論 Recursion Theory || 計算できるかどうかとか効率的かどうかとか『人間に扱えるか』についてあれこれ調べた成果。“再帰理論 Recursion Theory” の続きを読む
投稿日: 2019年3月25日2025年11月28日証明論 Proof Theory || 人間がなにかを推測するときの考え方『論証』を数理に落とし込んだもの“証明論 Proof Theory” の続きを読む
