直観主義論理シリーズ第3,4回です。予想通り、6本で終わりそうです。今回の2本はテクニカルな説明がメインでわりと無味乾燥でしょうか。 前期からやってきて、帰納法による証明をようやく導入しましたが、ちょっと遅い気もしますね。でも、前期の内容(古典論…

引き続きの授業動画です。今回から直観主義論理です。ほんとは証明論でやりたいんですが、モデル論でやります。分量的には6本くらいになるでしょうかね。 レジュメ 直観主義論理 動画 youtu.be youtu.be

2020年度の後期授業が始まりました。コロナをめぐる状況も徐々に変わっていますが、前期と同じように授業動画を作って、共有させてもらおうと思います。 後期は厳密含意から始まります。 レジュメ 「正しい論理」を求めて：厳密含意の論理 動画 youtu.be you…