買い本借り本複写文献 [本]

買ったり借りたりコピーしたりした本やら雑誌記事やら。

Plato's Ghost: The Modernist Transformation of Mathematics Jeremy Gray (Princeton Univ Pr, 2008)

たしか、どっかのジャーナルの新刊情報で目にして、ちょっとおもしろそうだったので購入。「モダニズム」という大きな流れから、19世紀末から20世紀初頭にかけての数学における「地殻変動」を観ずる。判型がおもったよりでかくて、びっくりした。

Logic Colloquium '86 F. R. Drake and J. K. Truss (Eds.) (Elsevier Science Ltd, 1988)

ムーアの「強制法の起源 The Origins of Forcing」を読むために。図書館で借りた。他にも、「コンピュータでロジックを教える: ハッカーズガイド Teaching Logic by Computer: A Hacker's Guide」なんてえのが気になる。

• Mathematics: Art and Science (A. Borel)
• The Health of Mathematics (Saunders Mac Lane)
• The Health of Mathematics -- A Second Opinion (Morris W. Hirsch)
• How Recent Work in Mathematical Logic Relates to the Foundations of Mathematics (F. R. Drake)
• Are We All Just Specialists? (Saunders Mac Lane)

Mathematical Intelligencer紙上で勃発した、マクレーンとロジシャンたちのあいだの「数学の基礎」をめぐる論争に関係する文献を、実物は手に入りにくそうなのでコピーした。ボレルのものを除くやりとりは日本語でも、シュプリンガーからの『数学の基礎をめぐる論争』で読むことができる¹。このなかではとくに、ドレイクのものが、ひじょうに簡潔に書かれた「巨大基数入門」としても読めるので、初学者（とくに、ロジックを学びはじめてまもないが、「その先」を垣間見たい、という人たち）にもすすめられる。

---

1 あらためて調べてみると、上記書論文を含む書籍の一部が、Google Bookで読めるようだ。