arXiv探訪

興味の赴くままに数学するだけ

2017-06-20から1日間の記事一覧

江田勝哉 著「数理論理学 使い方と考え方:超準解析の入口まで」 感想

読みました。本書は著者が「はじめに」で述べているように、記述に重きを置いたモデル理論の本。より厳密には一階述語論理の入門書。 論理式の定義から丁寧に説明があり、具体例も多いので良い意味で訓練になる。そこから定義可能性という楽しい話題にも触れ…