まず書籍。 Linda Wetzel Types and Tokens: On Abstract Objects, The MIT Press, 2009 Juan C. Sager Essays on Definition, John Benjamins, Terminology and Lexicography Research and Practice 4, 2000 ノーム・チョムスキー 『チョムスキー 言語基礎…

Juliette Kennedy and Roman Kossak ed. Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies, Cambridge University Press, Lecture Notes in Logic, no. 36, 2011 This collection of papers from various areas of mathemat…

Rod Adams An Early History of Recursive Functions and Computability from Gödel to Turing, Docent Press, 2011 Recursion is a common computer programming construct and is found widely in mathematics and yet it is a slippery logical construct…

しばらく前、某先生にある新刊を紹介差し上げた。「先生、このような本が出ましたよ、先生はこの種の内容の本がお好きではなかったですか？」と、その新刊をお知らせしたところ、興味を示して下さり、「うむ、面白そうですね、この著者は知っていますよ、こ…