入手検討文献

今日、SpringerのCatalogueを見ていると次のような本が出るということに気が付く。

  • M.v. Atten et al. ed., One Hundred Years of Intuitionism (1907-2007), Birkhäuser, Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives, Science autour de / around 1900 Series, 2008

The aim of the book is threefold: to review and complete the historical account of intuitionism (in particular in relation to other varieties of constructivism); to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.

値が張るので、できれば現物を見てから購入を考えたい。あるいはcopyで済ますことにさせていただくかもしれない。