- 723 名前：現代数学の系譜 雑談 [2025/02/11(火) 17:15:43.39 ID:zr+dFWV7.net]
- >>676
(引用開始)
> ハッキリ宣告しておくが、
> ブルバキ数学原論 は、全くお薦めじゃ無い！
日本のぬるっちい教科書も読めなかった君にはね
> 斎藤 毅氏
>『EGA そのはじめのところをみると、
> 数学の対象とは構造のついた集合である
> という、ブルバキの数学観が、
> 時代遅れになっていることがわかる』
(引用終り)
ふっふ、ほっほ
1）ZFCを、コンピュータプログラミング言語と、思いなよ
まあ、C言語とかね
2）で、C言語はスタンダードかも知れないが
他にも沢山プログラミング言語はある
C言語のあとに出ててきた言語
3）さらに言えば、C言語はあくまで プログラミング言語だろ？
何が言いたいか？ つまり、何かの課題があって、
それを C言語とかのプログラミング言語に落とすとき
人は、自然言語で考える
4）「何かの課題」とは、目の前の現実であって それを
一旦 自分なりの言語化をするだろ？ 自然言語でね。無意識でやっていることも多いだろう
5）その後で、自然言語とか自分の内心で消化したものを、Cとかプログラミング言語に落とす
その前に、フローチャートとか 全体の設計があるだろう
なので、1950年とか1960年のZFCベースのブルバキ数学原論は、時代が古すぎだと思うよ
結局、ZFCベースは 不完全性定理が出て、その後強制法とかが発展して、多くの数学者は
「だったら、別に、ZFCベースでなくても良いんじゃね？」と、2025年の今 そう思っている人 多いと思う
1950年とか1960年とか、2025年から見れば、半世紀前だよｗ ；ｐ）
別に、ブルバキ読みたい人は呼んだら良い。だけど、新しい本を併読すべきだよ ；ｐ）
|
 |
