- 474 名前：１３２人目の素数さん mailto:sage [2021/10/22(金) 00:11:07.47 ID:9MOZfxoS.net]
- >>427-430
おサル あんたは、ほんとロジックで一貫して筋を通す議論が苦手で、出来ない性格だね
つーか、統合失調症の薬飲んでいるんだろ？
元々は、基礎論廃人の「定義〜！ 定義〜！」に対して
「ガウスにように始めよ」というヴェイユの言葉を、紹介したのです>>367
果たして、ガウスの数学は定義ありきだったのだろうか？
というのが、一つの論点（数学基礎論の無い時代だから、今のようなZFCのような定義はないよ、当然でしょ！）
もう一つは、数学は、アイデア（数学概念）が先か、（数学的な厳密な）定義が先か
それは、あたかも、卵が先かニワトリが先かの如くの話です
そこから派生して、おサルがガウス関連で
「代数学の基本定理は、正確には実数の連続性もしくは実閉体の性質が必要」>>376と言い出したのです
でも、ガウスがそれを証明した時代には、厳密な実閉体の定義とか、厳密な実数の連続性の定義があったはずがないよね
話は逆で、ガウスが代数学の基本定理を証明を受けて、
それを後の時代の人が、「もっと厳密な証明がいるっぺ」となったのです
つまり、実数の連続性などを研究したわけだ
一方、ガウスも、厳密な定義は別にして、実数の連続性は概念としては持っていたろうってことだし
逆に、ガウスの代数学の基本定理の証明などを契機に、後世の”ジョルダン曲線定理”（下記）とか、出たわけですよ
つまり、数学の場合でも
アイデア（数学概念）が、定義に先行する場合が、
結構多いってことですよ
つづく
|
 |
