調べものをしていて、教えられた瑣事を一つ記します。「Whitehead and Russell が書いた Principia Mathematica に関し、the simple theory of types と the ramified theory of types を区別し出したのは誰ですか？」と聞かれたならば、何と答えますでしょ…

洋書 Ian Hacking Why Is There Philosophy of Mathematics At All?, Cambridge University Press, 2014 主に、数学における証明と、数学の応用について、著者独自の見解を展開しているようです。数年前に著者によって行われた集中講義を元にした本みたいで…