投稿日: 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” の続きを読む