投稿日: 2019年3月25日2023年9月29日集合論 Set Theory || 数学を説明するために必要になるやつこれは『数学の基礎』にあたるものになります。これに結びつけられないものは基本的に無いと思ってOK“集合論 Set Theory” の続きを読む
投稿日: 2019年3月25日2023年9月29日モデル理論 Model Theory || 文の意味から真偽を決める感じここでは、主に『意味』について扱っていきます。数学における『意味論 Semantics』と考えて良いです。“モデル理論 Model Theory” の続きを読む
投稿日: 2019年3月22日2023年9月29日数理論理学 Mathematical Logic || 数学の基礎になるもの哲学における論理学の数学バージョンと考えて良いと思います。“数理論理学 Mathematical Logic” の続きを読む
