Vincent F. Hendricks and Hannes Leitgeb ed. Philosophy of Mathematics 5 Questions, Automatic Press / VIP, 2007 何とはなしに上記の本の Albert Visser さんの文章を読むと、中々面白い。 私は知らなかったのですが、Visser さんは Frege に興味をお持…

J.-Y. Girard “Linear Logic,” in: Theoretical Computer Science, vol. 50, no. 1, 1987 Ditto “Linear Logic, its Syntax and Semantics,” in J.-Y. Girard et al. ed., Advances in Linear Logic, Cambridge University Press, London Mathematical Socie…

いくつか文献を拾い読みしていて、面白い歴史的事実を記述したくだりに出会う。 この点については、多分だが、後日に記してみようかと思う。