■

• Joan Roselló　　From Foundations to Philosophy of Mathematics: An Historical Account of their Development in the XX Century and Beyond, Cambridge Scholars Publishing, 2012

このような本が、今年の初めに出ていたことを最近まで知りませんでした。Frege の論理主義、Russell の論理主義、Zermelo の公理的集合論、Brouwer の直観主義、Hilbert の形式主義、Poincaré and Weyl の半直観主義、Gödel の不完全性定理と彼の Platonism, およびここ数十年来の数学の哲学を解説しているようです。