2018年05月アンディマンのテクノロジー(援技力)写真表現に関わる専門的な知識を補うために設けたブログです。新たらしい時代に相応しい技術情報を掲載していきます。普段疑問に思った問題の解決に繋げるテーマを醸成していきます。数学者の何割かは数学という学問でなされることは「発明」より「発見」に近いという意見を持っている。そのような数学者は詳細で正確な数学の結論は現世には依存することのない、普遍の真理として扱われるものと考えている。自然数の理論は特定の前提を必要とすることなく、普遍的にとして有効であることに意義は唱えない。あるケースが神秘主義になっても、数学者は数学的な美は真理であるという観点を延長する。ピタゴラスそしてピタゴラス派の哲学学校は文字通りの数に関する真実性を信じていた。二つの自然数の比として表現できない数の存在は自然に背くことだと考えていた彼らにとって無理数の存在の発見は大きなショックであった。現代の見方ではピタゴラスの数に関する神秘的な扱いは数学者によるものというよりは数秘術者による扱いであると考えられている。ピタゴラスの不十分に洗練された世界で欠如していたものは自然数の比の無限数列の極限、すなわち現代の実数に関する概念である。プラトンの哲学では2つの世界、すなわち我々が住む物理的世界、そして数学を含む普遍の真理を持つ概念的世界、がある。彼は物理的世界はさらに完全な概念世界の単なる投影像であると信じていた。ガリレオ・ガリレイは全ての現代物理学の数学的基盤と整合する一文として「数学は神が創造した世界を設計するために用いた言語である」と主張した。ハンガリーの数学者、ポール・エルデシュは無神論者ではあるが、「神が最も美しい数学的証明を書き下した想像の書籍がある」と考えている。Book!)」と絶叫した。この世を神が創造したときの法則に関する根源的な真実の発見として、数学は神という異なる宗教において擬人化されたものの自然な候補である。20世紀のフランスの哲学者アラン・バディウはオントロジーは数学であると主張する。バティウは数学、詩、そして哲学の間の深いつながりを信じている。いくらかのケースでは自然哲学者と数学を繁用する他の科学者は、美と物理的真実の間の飛躍的な予想を作ったが、真実でないことが明らかになったものもある。ヨハネス・ケプラーは彼の生涯において、当時知られていた太陽系の惑星の軌道の均衡性は、5個のプラトン立体の配列から神が構成し、それぞれの軌道はひとつの多面体に外接かつ別の多面体に内接する球上にある、と信じていた。プラトン立体は確かに5個あり、ケプラーの仮説は6個の惑星軌道のみに適合するものであり、後の天王星の発見によって否定される。何人かの数学者は数学的な結論において、一見無関係な印象を受ける二つの異なる数学分野を繋ぐ美を見出している。そのような結果はしばしば深遠な洞察によるものと表現される。ある結果が深遠な洞察によるものかどうかということについて普遍の同意を得ることは難しいが、いくつかの例がしばしば引用される。用いた単純な関係を与えた。現代的な例では、楕円曲線とモジュラー形式の間の重要な関連性に関する谷山豊と志村五郎によるモジュラー性定理、すなわち谷山・志村の定理があげられる。谷山・志村の定理を用いたフェルマー予想の解決に関する業績はアンドリュー・ワイルズとロバート・ラングランズにウルフ賞数学部門の受賞をもたらした。リチャード・ボーチャーズにフィールズ賞をもたらした。ここでの深遠という言葉の対義語として自明を使用する。自明な方法は、他の既知の結果から明白あるいは簡単な方法で演繹できるような結果であるかも知れないし、空集合のように特定の対象の特定の集合にだけ適用できるものかも知れない。定理の記述の文章は、その証明がかなり明白であっても深い洞察をするのに十分に独自的であるかも知れない。イギリスの数学者ゴッドフレイ・ハロルド・ハーディは彼の随筆であるある数学者の生涯と弁明で、数学的な美は驚愕の一要素から生じると示唆している。同意せず、次のような反例を提示している。「数学の偉大な多くの定理はそれが最初に出版されたときに驚愕される。存在の証明は驚愕すべきものと考えられたが、現在ではその結論が美しいとは誰にも言わせるものではない。Monastyrskyは次のように記している。ブリスコーンはそのような微分構造は究極的に明示的で美しい形で記述できることを示した。」この反対意見は数学的な美しさの主観的な要素とその数学的な結論の関連性の両方、すなわちこの場合はエキゾチック球面の存在性のみではなくそれらの具体的な実現手段をも表現している。数と記号の操作から生じるある種の歓喜は、あらゆる数学の研究のために必要なものである。科学哲学でそうであったように、科学や工学に数学が道具として与えられると、他に例がなくとも技術化社会は美学を積極的に培うだろう。大半の数学者での数学的な美の顕著な経験は、能動的な数学の研究活動からもたらされる。立場ではそのような経験をすることはないだろうとされている。バートランド・ラッセルはこのことを数学の厳しい美と称している。数学的な美は、その美という結果のみで評することはできない。数学的な美を追求することは新たなる事実の発見の切っ掛けとなることは珍しいことではない。物理学者ポール・ディラックは科学者のとるべき行動についてこう述べている。「数学的な美を持つ理論は実験的データに適合する見苦しい理論よりももっと確からしい。神は最高次の数学者であり、森羅万象を創造するために非常に高度な数学を用いた。」つまり、このような二者択一を迫られたときには数学的な美を持つ理論を選択せよ、さすればそれは神が創造した真理に近づき、新たな真理の発見に繋がる、という訓示である。数学者は数学の証明方法において特に華麗さを評価する。これは次のような文脈に依存する意味を持つだろう。華麗な証明を模索する中で、数学者はしばしばある結論を証明するための複数の独立な方法に出会うが、最初に発見された証明方法が常に最良とは限らない。多数の証明方法が知られている問題の典型例は三平方の定理であり、これまでに数百もの証明が公表されている。解法の美は、この定理の証明にもいくつか見られる。右の図によれば、もはや文章や数式などを付与する必要は全くなく、図のみからその定理の成立がわかる。簡潔であるとともに説明の必要無しに直感的な理解を形成する典型例であり、上で列挙した五つの華麗さのうち少なくとも最初の四つを具備する。非常に多くの証明方法が見つかっている他の例として平方剰余の相互法則を挙げることができ、カール・フリードリヒ・ガウスによりこの定理に対して8個の異なる証明が公表された。逆に、論理的に正しいが膨大な計算量を要するような結果、念入りすぎる方法、大変に平凡なアプローチ、あるいは非常に強力な定理や既知の結果を多数使用する証明方法は通常は華麗とは看做されないし、醜悪とか不器用と評価されるかも知れない。手法の美:モデルの美しさ数学を道具として利用した中での手法の美のひとつとしてヨハネス・ケプラーの多面体太陽系モデル仮説があげられよう。6個しか知られていなかった。ケプラーは正多面体が5種類しかないことと、6個の惑星の軌道による5個の隙間には、正多面体と球との外接・内接による関連性があるとの仮説を立てた。結果的にはこの仮説は彼の期待を裏切ることとなったが、後の古典力学の発展に繋がった。