- 114 名前：現代数学の系譜11 ガロア理論を読む [2012/07/27(金) 21:24:32.64 ]
- >>113
その答えは、結局は人それぞれに考える必要があると思うが
自分なりの答えは半分Yes 半分No
いわば、排中律を排した量子論理が正解だろうと思う
例えば、君はいま２ちゃんねるという掲示板を使っている。では、「２ちゃんねるという掲示板」の何を理解しているのか？ 使い方だろ？ 成り立ちや原理ではなく。成り立ちや原理を知っておく方が良い。だが、より重要なことは使い方だ
例えば、君はいまPCやスマホという機器を使っている。では、「PCやスマホという機器」の何を理解しているのか？ 使い方だろ？ 成り立ちや原理ではなく。成り立ちや原理を知っておく方が良い。だが、より重要なことは使い方だ
だが、君が就職して掲示板のシステム開発を担当したとする。知るべきは使い方もあるが、より重要なことは成り立ちや原理だろう
つまり、言いたいことは、現代社会は一人の人間がすべてを原理から理解して何かを使おうとすると、何も使えないのだ
この比喩のように、現代数学は一人の人間がすべてを細かな証明から理解して何かをしようとすれば、一生かかっても過去の証明の学習で終わって何もできないことになりかねない
ところで、別の見方をすれば、数学から証明取れば何が残る？ おそらく何も残らない？ 証明こそが数学なのだ
この矛盾を解消するには、複数の人間で共同研究や共同作業をするしかないだろう
大栗の重要論文はほとんど共著のように思う
|
 |
