2007-10-09から1日間の記事一覧
シュレーダーの記法に従って、論理推論を記号化しているところ。いろいろと証明。
多様体。多様体に対する理論の形式とか。
Gideon Calder, Rorty's Politics of Redescription, The University of Chicago Press, $32. Nark Johnson, The Meaning of the Body: Aesthetics of Human Understanding, The University of Chicago Press, $32. Christopher Bracken, Magical Criticism:…