2010-05-14から1日間の記事一覧

青山広『論理体系と代数モデル』

つい最近、ちょっと、おもしろい、数学書をみかけたので、紹介したい。 今どき、数学書がおもしろい、って、なんの話と思われるかもしれない。 ただ、それがどうして、おもしろいのかを、説明するには、ちょっと用意が必要である。 以下、がんばってみる。 …