イデアルと論理 (0) - 檜山正幸のキマイラ飼育記 (はてなBlog)最近元気がないんだか、元気がいいんだかよくわからないid:hubrisさん、「会社辞める」と言ってから学術的なタームが増えた気がする。それらのタームのなかには、そそられるものもある。 つーか、「JavaScript」だ「XML」だと書いていると、なんか理念的な話もしたくなる、ってこともあるのよね。理念的といえば、おー、そうだイデアルだ。ってわけでイデアルの話を。とはいっても、イデアルは単なる狂言回しで、話題は論理（ひょっとして形式言語理論も）あたりです。 とある論理の本に、「代数幾何（『代数と幾何』じゃなくて algebraic geometry）が代数式（多項式）で定義された集合を扱うのと同様に、モデル理論は論理式で定義された集合を扱う」てなことが書かれていました。つまり、モデル理論は論理幾何とでもいえるのでしょう。 テクニカルには、代数幾何とモデル理論は全然違うと思うけど、精神において
