Ivor Grattan-Guinness, The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel, Princeton University Press, 2000. - Another divergence to an intruder

本文600ページ、参照文献数約1900件。だいたいラグランジュからクワインに至る数学基礎論の歴史を概観したもの。この分野の第一人者による壮大なまとめ。歴史家の著述は中立的であるべきと考えているらしく(p.572)、個々の立場の評価は控えられている。*1だがそれは逆にポイントがどこにあるのかよく分からない記述にもなる。結果として、壮大なレジュメ集のようになる。この論文にはこういうことが書いてあり、この時にはこんなことがあり・・・というのがひたすら続く。 基本的にレジュメなので（この人の論文はだいたいどれもそうだが）、知らないとよく分からない。ところが知っていると、どこからどうやってそう言えるのかよく分からない記述に出会う。だが細かな歴史的事項や個々のつながりなどの記述は役に立つ。途中で飽きてくるので読むのはなかなか大変だった。 印象的な言葉を訳して引用しておこう。 様々なパラドクスについて言

[jmala]

2006/05/07 16:24:44