アカウント名:
パスワード:
朝日新聞の説明には定理を証明したとあるが、証明済みものが定理なのだから説明がおかしいのでは?すでに知られていた仮説を証明して定理になったのでもないから、「新たな定理を発見した」のではないのだろうか?
先生、「お湯を沸かす」はおかしくないでしょうか!「水を沸かしてお湯にする」が正しいのでは?
冗談はさておき、数学において新たな成果を「発見」と呼んでいいかどうかは多少議論のあるところで、これは数学に関する哲学的なものの見方が関わっています。多くの人は数学的真理について、人類がそれを証明していようがいまいがずっとそこにあったはずである、存在したはずであると考えていると思います(最近知られるようになった言葉では「実在論」といいます)のでその場合は「発見」になります。が、そうではなく、数学は人類の創造物であるという考え方の人 [wikipedia.org]も何人かいて、つまり人類がそれらを編み出す前にはそれらの真理は存在しなかったのではないかということです。ポアンカレもそう考えていたと言われています)そういう人たちからすれば数学的成果の多く、定理や集合の類の多くが人工創造物発明物である(「発見」ではなく)ということになります。こちら側は先鋭化して排中律を拒否するという極端な方向に向かったりもしましたし、哲学において「非実在論」という考え方として今もさかんに議論されています。もっとも、前者の実在論の立場からしても、偉大な証明の数々において、創造とまではいかなくとも人類の営為を認めないわけにはいかないであろうし、それを「発見」といういかにも偶然的要素のニュアンスがある言葉を使うことには多少抵抗があるでしょう。結局「定理を証明」に落ち着くのではないでしょうか。
# あとは本職の人頼んだ
数学的には『XXの予想を証明』して『予想が定理になった』だが、今回はもともとの予想・仮説があったわけではないらしい
フェルマーの最終定理も証明前はフェルマー予想、ワイルズが証明した後はフェルマー・ワイルズの定理と呼ぶらしいです。定理らしきものを発見したのがフェルマー、証明したのがワイルズ、ってことですね。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー
定理の発見 (スコア:0)
朝日新聞の説明には定理を証明したとあるが、証明済みものが定理なのだから説明がおかしいのでは?
すでに知られていた仮説を証明して定理になったのでもないから、「新たな定理を発見した」のではないのだろうか?
Re:定理の発見 (スコア:0)
先生、「お湯を沸かす」はおかしくないでしょうか!「水を沸かしてお湯にする」が正しいのでは?
冗談はさておき、数学において新たな成果を「発見」と呼んでいいかどうかは多少議論のあるところで、これは数学に関する哲学的なものの見方が関わっています。
多くの人は数学的真理について、人類がそれを証明していようがいまいがずっとそこにあったはずである、存在したはずであると考えていると思います(最近知られるようになった言葉では「実在論」といいます)のでその場合は「発見」になります。
が、そうではなく、数学は人類の創造物であるという考え方の人 [wikipedia.org]も何人かいて、つまり人類がそれらを編み出す前にはそれらの真理は存在しなかったのではないかということです。ポアンカレもそう考えていたと言われています)そういう人たちからすれば数学的成果の多く、定理や集合の類の多くが人工創造物発明物である(「発見」ではなく)ということになります。こちら側は先鋭化して排中律を拒否するという極端な方向に向かったりもしましたし、哲学において「非実在論」という考え方として今もさかんに議論されています。
もっとも、前者の実在論の立場からしても、偉大な証明の数々において、創造とまではいかなくとも人類の営為を認めないわけにはいかないであろうし、それを「発見」といういかにも偶然的要素のニュアンスがある言葉を使うことには多少抵抗があるでしょう。結局「定理を証明」に落ち着くのではないでしょうか。
# あとは本職の人頼んだ
Re: (スコア:0)
数学的には『XXの予想を証明』して『予想が定理になった』だが、今回はもともとの予想・仮説があったわけではないらしい
Re: (スコア:0)
フェルマーの最終定理も証明前はフェルマー予想、ワイルズが証明した後はフェルマー・ワイルズの定理と呼ぶらしいです。
定理らしきものを発見したのがフェルマー、証明したのがワイルズ、ってことですね。