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

 Kant philosophized about Kritik der reinen Vernunft in Latin, and then wrote it in German.

購入したばかりの 中島義道 『『純粋理性批判』を噛み砕く』、講談社、2010年 を拝読していると、些細なことながら、私のまったく知らなかった或る事柄が書いてあり、ちょっと驚く。それは Kant が Kritik der reinen Vernunft の内容を、もともとラテン語で…

Roberto M. Amadio and Pierre-Louis Curien Domains and Lambda-Calculi, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 46, 2008 (First Published in Hardback in 1998) Domain Theory の専門書なので入手。 Gottl…

V. Stoltenberg-Hansen, I. Lindström and E. R. Griffor Mathematical Theory of Domains, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 22, 2008 (First Published in Hardback in 1994) Michael Dummett The Natu…

Anthony Seda and Pascal Hitzler Mathematical Aspects of Logic Programming Semantics, CRC Press, Chapman & Hall/CRC Studies in Informatics Series, Due in December 2010 Denotational Semantics の話などが載っているのではないかと思うので、多分…