投稿日: 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” の続きを読む
