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