|| 計算できるかどうかとか効率的かどうかとか
『人間に扱えるか』についてあれこれ調べた成果。
“再帰理論 Recursion Theory” の続きを読むまったく縁遠くない数学の使われ方
|| 文の意味から真偽を決める感じ
ここでは、主に『意味』について扱っていきます。
数学における『意味論 Semantics』と考えて良いです。
“モデル理論 Model Theory” の続きを読む|| 様相っていう聞き慣れない単語
これは「必然性」と「可能性」について言及したものです。
数学と哲学の両方に片足ずっぽりな感じのする論理になります。
“様相論理 Modal Logic” の続きを読む