2021-01-18から1日間の記事一覧

ロジックのメタ定理の語りづらさ

論理学数学

これまで完全性定理やカット除去定理についてごちゃごちゃ書いてきて気づいたことがある。他の分野の数学の定理ではあまりないのかもしれないが、ロジックのメタ定理というのは、独特の語りにくさ？みたいなのがある。完全性定理だとかカット除去定理だとか…