14/04/27 22:06:30.07
>>770-771の岩波文庫が丸善にあったので買ってみた。
第6章にこうある。
また、多くの数学者は、彼らの「社会基盤」である共通言語としての集合論に、認識論的な安全性などは求めていない。
集合論が数学の本質とも考えていない。多くの数学者は、集合論を数学を記述しやすい言語、つまり、道具と考えており、
数学の本質はそれ以外にあると思っている。集合論は、いわば価値に対する貨幣である。
それが「表現」する価値にあたる「真の数学」は、どこか別のところにある。これが多くの数学者のメンタリティーであり、
そのことは、第二次世界大戦に公理的集合論を数学の基礎の実質標準とすることに貢献したフランスの数学者集団
ブルバキの見解に、見事に表れている。
ブルバキは、公理的集合論を数学の基礎としながらも、
「もし、未来にそれが破綻しても数学は必ずや新しい表現を見つけるだろう」という信念が、数学者を落ち着いた
気持ちで仕事に専念させるのだと書いたのである。