17/01/03 10:57:52.14 trvSnYCN.net
>>303-306
どこかで渕野先生が書いていたように思うが
数学はつねに未完成（不完全性定理）だから、豊かなのだと
で、数学の厳密性は、数学を使う他の分野から見れば、安心なのだ。数学的な証明が与えられると、あとはそれを基礎にどんどん進んでいける安心感
一方で、これだけ数学の内容が豊富になって、各分野のレベルが高くなると、なんらかの
17/01/03 10:57:52.14 trvSnYCN.net
>>303-306
どこかで渕野先生が書いていたように思うが
数学はつねに未完成（不完全性定理）だから、豊かなのだと
で、数学の厳密性は、数学を使う他の分野から見れば、安心なのだ。数学的な証明が与えられると、あとはそれを基礎にどんどん進んでいける安心感
一方で、これだけ数学の内容が豊富になって、各分野のレベルが高くなると、なんらかの