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

先日購入したばかりの以下の本の一部を拾い読みしていると、 Paolo Mancosu The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940, Oxford University Press, 2010 私個人にとってはちょっと驚いてしま…