劇場版「羅小黒戦記」について本格的な感想・批評を書きます。私は吹替え版で二度観たけれど、見れば見るほど発見のある作品なのでまだまだ見たい。字幕版も観たい*1けれど、緊急事態宣言が出ているので自粛している。でもweb版が更新されたらまた劇場版を見…

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

完全性定理も中途半端なところで停滞しているのに、新シリーズとしてカット除去定理を考える。カット除去定理もロジックの教科書ではよく登場していて*1、その証明は完全性定理以上に教科書ごとに個性が出ている。そういうのを比較考察していきたいのだけれ…

このシリーズのなかでたびたび混乱した感じになってしまっていたことがあった。鹿島亮『数理論理学』で証明されている完全性定理は「等号付き一階述語論理の強完全性定理」というやつである。このことをハッキリ意識しておかなくてはならなかった。 鹿島本で…