■

清水先生の圏論の教科書がもう出るか、もう出たかしたので、合わせて以下の文献を入手。
清水先生の新刊もそのうち見かけたら購入するつもり。

• Colin McLarty　　“The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics”,　in: The British Journal for the Philosophy of Science, vol. 58, no. 1, 2007

While Saunders Mac Lane studied for his D.Phil in Gottingen, he heard David Hilbert's weekly lectures on philosophy, talked philosophy with Hermann Weyl, and studied it with Moritz Geiger. Their philosophies and Emmy Noether's algebra all influenced his conception of category theory, which has become the working structure theory of mathematics. His practice has constantly affirmed that a proper large-scale organization for mathematics is the most efficient path to valuable specific results?while he sees that the question of which results are valuable has an ineliminable philosophic aspect. His philosophy relies on the ideas of truth and existence he studied in Gottingen. His career is a case study relating naturalism in philosophy of mathematics to philosophy as it naturally arises in mathematics.

Mac Laneさんの自伝が少し前に出ていたけど、それを買って読むにはお金も余力もないので、今回の論文をちらちら読んで何とかごまかしておきたいです。