投稿日: 2020年5月20日2023年9月28日数学に関する見解 || 人間のために「正しさ」を決定していく道具使い手が「人間」である、思考のための『道具』。それが数学の本質と言って良いでしょう。 “数学に関する見解” の続きを読む
投稿日: 2019年4月1日2023年9月28日推論規則 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日2023年9月29日証明論 Proof Theory || 人間がなんかを推測するときの考え方この領域では主に『論証』についての話をします。なので『論証』についての知識が必要です。“証明論 Proof Theory” の続きを読む
