哲学塾カントにお邪魔してみた話

哲学塾カント 哲学塾カントは哲学者の中島義道先生が主催する、様々な哲学に関する話を聞くことができる私塾です。 お話をしてくださるのは実際に哲学者として活躍している先生方で、お値段も1授業2,500円とすごく魅力的です。 […]

初等拡大モデルの例を構成してみた

初等拡大モデルとは 簡単に言うと初等拡大とは, 2つの構造\(\mathcal{M}, \mathcal{N}\)の大きい方が小さい方の満たす性質を全部満たすときの大きい方をいいます. 初等拡大の例を構成しようとしたら意 […]

数学的帰納法:n=1のときをなくせる話

数学的帰納法 「n=1のときをなくせる」というとキャッチーですが, 要するに自明に成り立つ形に変わるだけです. よくみる数学的帰納法は以下の形です。 \(\mathbb{N}\)に関する命題\(\varphi\)について […]

鹿島亮「数理論理学」の構成をまとめてみた

鹿島亮先生の「数理論理学」 数理論理学の入門書として標準的であり、厳密性とわかりやすさを兼ね備えた本である鹿島数理論理学。 いくらわかりやすいといっても初めて読んだ人は「今、何をしているのか?」を見失うと思います。 それ […]