ぐっと深い一般向けの現代数学の概説書。
グロタンディークのスキーム理論、レフシェッツの代数多様体のトポロジー
数学の歴史:厳密さを主要に考えず発展する時、厳密さの追求で発展する時にわかれる。現代は新しいブルバキの予感?
無限は有限の単なる反意語と捉えられるには不十分
幾何学的直観と式を用いた定式化による確実な基礎の両立が高次元幾何学の困難な唯一の道。直観と厳密な定式化は同時には進まない。天才の直観の翼は定式化の能力をしばしば遥かに超えて舞い上がる。しかし舞い上がった地点を厳密な論理によって補強することなしにはいかなる天才もそれ以上は飛び続けることができない。
逆に幾何学的直観を忘れれば複雑になっていく一方の論理と計算の、迷路にはまり込んでしまうだけなのである。
ザリスキー
局所環
セール
グロタン『代数幾何原論』
具体化と抽象化の揺り戻し。
ブルバキの抽象化への思い「具体例は一般論の単なる適応例の一つ」という形式主義の無味乾燥な考え方が数学をつまらなくしたという考え方もある。プラトニズムの上に建設されてきた学問なんだし、意味を排せと言われても無理、さらによくわからなくなるし現実との乖離を生む。でもまあ一般論の方が好きだな。。。それが的外れなものじゃなければ。
めも
数学の人物史ではない考え方の変遷を述べた本
M. Kline, Mathematical thought from ancient to modern times, 1972
F.クライン 19世紀の数学, 1995
古い文献の英訳の参考文献
D.E.Smith A source book in mathematics, 1984
佐藤、数学ビギナーズマニュアル, 1994
P.Frankl 幾何学の散歩道 1991
森田、トポロジーの展開
J. Dieudonne, History of algebraic geometry, 1985