まず書籍から。 Richard Tieszen After Gödel: Platonism and Rationalism in Mathematics and Logic, Oxford University Press, 2011 デイヴィット C. リンドバーグ 『近代科学の源をたどる 先史時代から中世まで』、高橋憲一訳、科学史ライブラリー・シリ…

Henk Barendregt, Wil Dekkers and Richard Statman Lambda Calculus with Types, Cambridge University Press, Perspectives in Logic Series, Due in July 2011

先日、新しくできた某ビルディングを訪れてみた。 やはり人が多いのでゆっくりできない。 軽く見て回って取り合えず終わりにする。 また後日落ち着いてから来てみよう。