ヨハネス・ケプラーと数学上の未解決問題

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ヨハネス・ケプラーと数学上の未解決問題の違い

ヨハネス・ケプラー vs. 数学上の未解決問題

ヨハネス・ケプラー（Johannes Kepler、1571年12月27日 - 1630年11月15日）はドイツの天文学者。天体の運行法則に関する「ケプラーの法則」を唱えたことでよく知られている。理論的に天体の運動を解明したという点において、天体物理学者の先駆的存在だといえる。一方で数学者、自然哲学者、占星術師という顔ももつ。欧州補給機（ATV）2号機、アメリカ航空宇宙局の宇宙望遠鏡の名前に彼の名が採用されている。. 数学上の未解決問題（すうがくじょうのみかいけつもんだい）とは未だ解決されていない数学上の問題のことである。 未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学・技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家達が証明を試みてきたような有名な命題を列挙する。.

ケプラー予想

プラー予想（ケプラーよそう、Kepler conjecture.）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間における球充填に関する数学的な予想である。それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。 1998年にはが提案した方法に従ってケプラー予想を証明したと発表した。多数のケース一つ一つを複雑なコンピュータシミュレーションでチェックするであった。査読者は証明が正しいことを「99%確信している」と評した。よってケプラー予想は定理として受け入れられる寸前に来ている。2014年、ヘイルズに率いられたフライスペック・プロジェクト（）のチームは、定理証明支援ツールであるおよびを組み合わせて用いることにより、ケプラー予想の形式的証明を完了したと発表した。.

ケプラー予想とヨハネス・ケプラー · ケプラー予想と数学上の未解決問題 · 続きを見る »

接吻数問題

（n 次元）接吻数問題（せっぷんすうもんだい、kissing number problem）とは「n 次元の単位球の周りに単位球を重ならず触れ合うように並べるとき、最大何個並べることができるか」という問題である。その個数のことを接吻数という。 0次元、1次元、2次元、3次元、4次元、8次元、24次元の接吻数が分かっており、それぞれ 0、2、6、12、24、240、196560 である。.

ヨハネス・ケプラーと接吻数問題 · 接吻数問題と数学上の未解決問題 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

ヨハネス・ケプラーと数学 · 数学と数学上の未解決問題 · 続きを見る »

数学者

数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

ヨハネス・ケプラーと数学者 · 数学上の未解決問題と数学者 · 続きを見る »

1998年

この項目では、国際的な視点に基づいた1998年について記載する。.

1998年とヨハネス・ケプラー · 1998年と数学上の未解決問題 · 続きを見る »