• トップ
  • ニュース
  • 【すげぇ】数学の超難問『ケプラー予想』の"証明の証明"が16年かけてよ...





400年の難問、「ケプラー予想の証明」やっと100%終わる
http://www.gizmodo.jp/2014/08/post_15285.html
1407967377244

(記事によると)

「ケプラー予想」とは、天体の運行法則に関する「ケプラーの法則」を唱えたことでよく知られている。偉人ヨハネス・ケプラーが提唱する数学界の難問である。

1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100%正しかったことがコンピュータの力で証明されました。

直感的にこの予想は正しいと思えても数学的に証明するのは非常に難しいこの問題
(何せ世界の頭脳を結集させても400年間証明できなかったわけですから)
証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。しかし300ページにも及ぶ証明だったため、"証明の証明"が完了してなかった。

4年間で残り1%の所までは証明が完了したが最後の1%でギブアップ。
しかしPCを使い証明プログラムを利用することでようやく「ケプラー予想が正しかったことを証明する」論文が正しかったことが証明できた。















RSA-129もPCで解かれたし、色塗り問題も結局PCで証明されたし


数学界はオイラーの時代とは全く別次元の世界になってるねェ。次はリーマン予想あたりが解かれるかな















ニュースカテゴリ別最新記事リスト もっと見る

コメントを投稿する

エラーが発生しました。 30秒以内にコメントが投稿されました。
名前 8文字以内で入力してください。 URLの入力はできません。 名前に禁止ワードが含まれています。
本文 (必須) 1000文字以内で入力してください。 本文を入力してください。 英数字のみの入力はできません。 URLの入力はできません。 本文に禁止ワードが含まれています。

※コメント番号の前に「>>」をつけると、そのコメントに返信できます(例:>>1)

投稿する

1 はちまき名無しさん このコメントに返信

知ってた

0

0

2 はちまき名無しさん このコメントに返信

PCで証明するとか美しくない

0

0

3 はちまき名無しさん このコメントに返信

俺もこの問題見たが、少ししかわからなかったな

0

0

4 はちまき名無しさん このコメントに返信

みらいマニアックスにおもろい記事あるで。

0

0

5 はちまき名無しさん このコメントに返信

みらい君は凄いよな
キチガイヒキコモリどもに悪口書かれまくり粘着されサジェスト汚染されても、全く動じずブログ運営w

0

0

6 はちまき名無しさん このコメントに返信

汉族不能有创意什么白死.世界的污秽是汉族.
汉族的蝗虫你送上最的美誉.汉族奴役的历史,这是占主导地位的自卑蝗虫复杂的不称职的.

0

0

7 通りすがりの巡礼部 このコメントに返信

はたして、リーマン予想の証明はいつになるやら?

0

0

8 はちまき名無しさん このコメントに返信

蟑螂异常性欲清国奴粪为食.奴隶制时代,往往是历史上清国奴的猴子.清国奴猴子进行偷追逐敌人的色情内容的过程.
清国奴的猴子只有性欲.直至第二次世界大战日本战败之后,清国奴一词才从日语的正式场合中被迫退出!
死死死死死死死死死死!!!!!!!!!!!!!!!!!!!!!

0

0

9 はちまき名無しさん このコメントに返信

そんなことがわかってどうなるの?
それより景気や雇用が回復する有効な手段を考えろよ無能

0

0

10 はちまき名無しさん このコメントに返信

四色問題よりは確かにマシだろうな

0

0

11 はちまき名無しさん このコメントに返信

元記事
コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー

はちまの要約
地動説に異を唱えて天動説を主張した偉人ヨハネス・ケプラー

・・・マジで?

0

0

12 はちまき名無しさん このコメントに返信

リーマン予想って実質素数の並びに規則性があるかを証明する問題だから
数字が無限に続く以上証明することが無理っぽいじゃなかったっけ。

0

0

13 はちまき名無しさん このコメントに返信

バイトは意味わかっててコメントしてるのか?

0

0

14 はちまき名無しさん このコメントに返信

なんの必要性もなくただそれっぽい単語出してるバイトの知ったか感が半端ねー

0

0

15 はちまき名無しさん このコメントに返信

バイトのアホは絶対知らないだろ

0

0

16 はちまき名無しさん このコメントに返信

バイトはガキか?

0

0

17 はちまき名無しさん このコメントに返信

コンピュータを使った証明に過剰に反応する人もいるけど、
証明の本質は「無限の可能性」を「有限」に落とし込むところで、
それは人間にしかできない。
その「有限」が10や100なら人間がつぶせばいいけど、
数百万に及ぶときはコンピュータにやらせたほうが効率的ってだけ。
そのプログラムを作るのも人間だし、アルゴリズムの正しさを確認するのも人間。

0

0

18 はちまき名無しさん このコメントに返信

※2
本物のバカ発見

0

0

19 はちまき名無しさん このコメントに返信

知ったかぶり多すぎワロタw

0

0

20 はちまき名無しさん このコメントに返信

※12
素数の並び、じゃなくて、素数の分布、だよ。
無限に存在するから証明できない、ってのは数学の証明の大半を否定することになるけど。

0

0

21 はちまき名無しさん このコメントに返信

>>18
何が馬鹿なのか説明もせずに「馬鹿」と絡むのはお前も馬鹿だけれど

0

0

22 はちまき名無しさん このコメントに返信

>>11
これはバイトやばいな

0

0

23 はちまき名無しさん このコメントに返信

そりゃそうだろ
誰がどう見てもそりゃそうだろ

0

0

24 はちまき名無しさん このコメントに返信

バイト頭悪すぎワロタ

0

0

25 はちまき名無しさん このコメントに返信

>地動説に異を唱えて天動説を主張した偉人ヨハネス・ケプラーが提唱する数学界の難問である。
何をどうすればこういう要約になるの…?
はちま流のギャグなの?

0

0

26 はちまき名無しさん このコメントに返信

ケプラー予想の証明の起源は韓国

0

0

27 はちまき名無しさん このコメントに返信

ケプラーの業績の要約からして間違い過ぎw
バイトくんはいまだに天動説信じてるのかw

数学界はオイラーの時代とは全く別次元の世界になってるねェ。

0

0

28 はちまき名無しさん このコメントに返信

>>2
そもそもそれを計算するPCも人の知の結晶なんやで数学、力学、電磁気学、電気数学、etc...
証明とPCってだけ見ても掘り下げるととんでもない量の積み上げられた知識の上で成り立ってるんだ
それのどこが美しくない?

0

0

29 はちまき名無しさん このコメントに返信

証明の証明とか…大変だったんだな…

0

0

30 はちまき名無しさん このコメントに返信

ケプラー予想とミレニアム懸賞問題じゃレベルが全然違うだろ

0

0

31 はちまき名無しさん このコメントに返信

お前ら馬鹿のくせにこういう話には食いつくよな

0

0

32 はちまき名無しさん このコメントに返信

自己紹介乙

0

0

33 はちまき名無しさん このコメントに返信

突然他人に向かって馬鹿馬鹿と絡んでくる猿餓鬼はアスペでその自覚がないかわいそうな奴なのでスルー推奨

0

0

34 はちまき名無しさん このコメントに返信

ようは数学ってめんどくさいなぁってことだな

0

0

35 はちまき名無しさん このコメントに返信

いつの間にか天動説信奉者にされてしまったケプラーさん可哀そう・・・

0

0

36 はちまき名無しさん このコメントに返信

サイモン・シンのフェルマーの最終定理の末尾あたりで紹介されてたな
数学がコンピューター任せになることについての議論と一緒に

0

0

37 はちまき名無しさん このコメントに返信

ここまでタイトルスレの「16年」に誰も突っ込み入れて無い事の方が、奇跡だわ・・・・

0

0

38 はちまき名無しさん このコメントに返信

1998年の論文から数えてるのか。スレタイ、分かりにくいな。

0

0

39 はちまき名無しさん このコメントに返信

はちまコメなんかテキトーやなぁ

0

0

40 はちまき名無しさん このコメントに返信

文系の馬鹿だがケプラーの法則となんか違うんけ?

0

0

41 はちまき名無しさん このコメントに返信

人間が苦労して解決する事によってその過程で新しい問題提唱が出来たり
面白い考え方が出て発展性のある結果が生まれたりするらしいけど、
PCの演算力で力技解決すると結果が証明されるだけで発展性が乏しくなるとは聞いた事がある

0

0

42 はちまき名無しさん このコメントに返信

クリス・ペプラーなら知ってる

0

0

43 はちまき名無しさん このコメントに返信

時間が証明してくれた(うまい)

0

0

44 はちまき名無しさん このコメントに返信

さっさとリーマン予想を解けよ
クレジットカードだとか軍事暗号が全部あぼーんらしいじゃん

0

0

45 はちまき名無しさん このコメントに返信

>>11
抱腹絶倒

0

0

46 はちまき名無しさん このコメントに返信

16年かけるって、どんだけ馬鹿だよ。

0

0

47 はちまき名無しさん このコメントに返信

>>2
>>41
記事を読む限り、ヘールズ教授の証明の確認作業がPCを用いて行われただけで、証明自体がPCでなされたわけではないように思うんだが。

0

0

48 はちまき名無しさん このコメントに返信

よくわからんけど
証明はできたけど、それの検証にもまた時間がかかったということか?

0

0

49 はちまき名無しさん このコメントに返信

>>17
結果は大事だが本質的に違う
コンピュータは力技なだけ

0

0

50 はちまき名無しさん このコメントに返信

ESRAMとかの話ならまだしも
さすがにこのレベルの話をちゃんと正しい知識で語れる奴はこのコメ欄にはいないことはわかってるので
お前ら頑張って知ったかしなくてもいいぞ

0

0

51 はちまき名無しさん このコメントに返信

そりゃピラミッドみたいに順に積み重なってりゃ沢山入るわな..数学的って

0

0

52 はちまき名無しさん このコメントに返信

望月のABC予想のやつまだかよ

0

0

53 はちまき名無しさん このコメントに返信

バイトのにわかコメに草不可避

0

0

54 はちまき名無しさん このコメントに返信

わしが教えた

が選択肢にない時点でやり直し。

0

0

55 はちまき名無しさん このコメントに返信

ニートは自分が理解できないことにあたると攻撃的になります

この世で理解出来る人が100人もいない話で偉そうにしてるやつが哀れに思えるよwww

0

0

56 はちまき名無しさん このコメントに返信

証明が証明されても、一般人にはあまり関係ない知識だし、懇切丁寧に教えてもらっても、考えるまでもなく当たり前じゃん?
っていう結果に16年間もかけてんじゃね~よ。
数学者って馬鹿の集まりなんすか?
今度は、実用的な計算方法を、スパコン京を使った証明で出してくれ(命令)

0

0

57 はちまき名無しさん このコメントに返信

>>56
当たり前の中にとんでもない事実が隠れてたりする
代表的なのがニュートンの万有引力よ

0

0

58 はちまき名無しさん このコメントに返信

「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」じゃなくて
「球は、八百屋にある山盛りのオレンジみたいにピラミッド型で並べると一番沢山入る」、だよな
日本語不自由すぎるだろ

0

0

59 はちまき名無しさんアグモン このコメントに返信

必ず反対して欲しい
絶対に反対して欲しい
確実に反対して欲しい
100%反対して欲しい
十割反対して欲しい

0

0

60 はちまき名無しさん このコメントに返信

なんかPCと言われると途端に安いと思うけど
すごいことなんだよなぁ

0

0

61 はちまき名無しさん このコメントに返信

コンピュータ=PCとは限らないだろ?まあ、クラスター化してるのかも知れんが。ww

0

0

62 はちまき名無しさん このコメントに返信

つうかなんだこの説明。
まず説明から間違ってんじゃねえか。

0

0

63 はちまき名無しさん このコメントに返信

ケプラーはまた、球を敷き詰めたときに、面心立方格子が最密になると予想した。 この予想はケプラー予想と呼ばれ、規則正しく敷き詰める場合に関してはガウスによって早々に証明されたが、 不規則な敷き詰め方に関しては、400年もの間未解決の問題であった。ケプラー予想は1998年に、トーマス・C・ヘイルズによって、コンピュータを駆使して解決された。

0

0

64 はちまき名無しさん このコメントに返信

証明できたからなんだよ

0

0

65 はちまき名無しさん このコメントに返信

>>64
PCを使った証明の成功例ってだけで十分有意義なんだよなぁ

0

0

66 はちまき名無しさん このコメントに返信

>>2
PCで証明したわけじゃない
証明が正しい事をPCで検証したんだ

0

0

67 はちまき名無しさん このコメントに返信

こんなことが意味がない?まじで脳みそスカスカのやつがいるんだな!蓮舫みたいなやつが、やはり世の中にはたくさんわいてるのか。

0

0

68 はちまき名無しさん このコメントに返信

こんなことが意味がない?まじで脳みそスカスカのやつがいるんだな!蓮舫みたいなやつが、やはり世の中にはたくさんわいてるのか。

0

0

69 はちまき名無しさん このコメントに返信

誹謗中傷のコメントを書くのは

予想

(ノ ̄▽ ̄)ノ

0

0

70 はちまき名無しさん このコメントに返信

八百屋のオレンジのようにならべると一番たくさん置けるwwww
役に立つなあwwwwwwww

0

0

71 はちまき名無しさん このコメントに返信

証明の証明ってなんだよw
証明の検証だろ

0

0

72 はちまき名無しさん このコメントに返信

>>9
残念ながら、ものすごく重要です。
馬鹿に分からんだろうがな。

0

0

73 はちまき名無しさん このコメントに返信

>>70
せやろwwwwwすごいやろwwwww
もうこの研究に時間を費やす必要はないんやでwwww

完 全 解 決

0

0

74 はちまき名無しさん このコメントに返信

>>9
「Isabelle」に言えよw

0

0

75 はちまき名無しさん このコメントに返信

これ、証明してなんか意味あんの?

0

0

76 はちまき名無しさん このコメントに返信

馬鹿にもわかるようにどんな意味があるのか説明しろよ馬鹿共

0

0

77 はちまき名無しさん このコメントに返信

しったかwwwwwwww

0

0

78 はちまき名無しさん このコメントに返信

八百屋の山積みオレンジは例えが不味いというか、説明不足だと思うんだが…
同じスペースなら箱にぎっしり詰めたほうが絶対に収納効率は良い
陳列する場合限定の話ならケプラーの言う通りだが、収納効率で考えると明らかに違うよな…<emoji:asease>

0

0

79 はちまき名無しさん このコメントに返信

>>71
それな。

0

0

80 はちまき名無しさん このコメントに返信

証明も終わったしWiiUで遊ぼう

0

0

81 はちまき名無しさん このコメントに返信

数学者はクソの役に立たないことに一生かけてるね

0

0

82 はちまき名無しさん このコメントに返信

ケプラーさんには申し訳ないが、ケプラーの法則って、前提からして大きな間違いを犯してると思うんですが…(^^;
太陽系の中心は太陽で良いが、この太陽系が属する当銀河系の中心は、紛れもなくいて座A*という名のブラックホールですよ…

ここからは僕の推測に基づく仮説ですが、 一般的に太陽系は銀河系内で公転していると認識されていますが、
その公転原理は、おそらくこのいて座A*というブラックホールに少しずつ渦を巻ながら吸い込まれているという原理に成り立っているのではないかというのが僕の仮説です。
鳴門の渦潮みたいに吸い込まれていると思います。太陽系は鳴門の渦潮に回転しながら巻き込まれる小舟みたいなものだと思います。

だから、ケプラーの法則は太陽を中心に計算されているので間違ってると思います。吸入口かつ動力源であるいて座A*を中心に計算をしないといけないですよね…

でも、これは証明されていない僕の仮説なので、一般的にはケプラーの法則のほうが正しいです(^^;僕の仮説の証明は?←規模が大き過ぎるのと、いて座A*まで人類が行った事ないし、行っていて座A*に限りなく近寄って計測する際にも惑星すら吸い込むブラックホールなのでおそらく宇宙船ごと吸い込まれるだろうし、辺り一帯超高温で測定器具も保たずに計測不可能かもしれない。いっぺんいて座A*に吸い込まれてみてから計測したほうがデータの信憑性が高くなるのですが、吸い込まれると周囲や内部がおそらく宇宙ガスだらけで、その宇宙ガススクリュー流は超高温で爆発を繰り返してるので、今の技術ではまず不可能です…<emoji:asease>そのいて座A*と、どの銀河系の宇宙ガス噴出型大容量ブラックホールが繋がっているのか?も興味深いですが…

0

0

83 はちまき名無しさん このコメントに返信

>>82

ケプラーの法則では、銀河系の存在を考慮されていないので、必然的に太陽系自体の公転動力係数がほぼ定数扱いになる。
が、その仮説が正しいなら、定数ではなく、宇宙ガススクリュー流内の爆発の規模の大小に影響される太陽系自体の公転動力係数が不規則に変化する為、概念的に不規則変数扱いしなければならないですよね。
つまり、限りなく一定の定数扱いされている太陽系自体の公転周期は、実は、内部の不規則な宇宙ガス爆発により宇宙ガススクリュー流の吸入力が絶えず変化している為、厳密には一定ではないという事ですね…

これから先、爆発力が強大な成分により構成される惑星や宇宙ガス群などが、いて座A*に吸い込まれるような事態が起これば、明らかに、その強まった爆発力によりいて座A*の吸入力が増し、太陽系自体の公転周期も微量?に変化する可能性もあるという事ですね…

0

0

84 はちまき名無しさん このコメントに返信

>>83
いや君の見解は間違えているよw

0

0

85 はちまき名無しさん このコメントに返信

>>82
>>83
仕事くれ、まで読んだ

0

0

86 ネロ このコメントに返信

今日は悪天候やって言われてたのに、超晴天やったな

役に立たん天気予報や

0

0

87 はちまき名無しさん このコメントに返信

歴史はペテン師と心が崩壊した元天才のオンパレードだったな
これ容積が無限でないと答え変わるじゃん

0

0

88 はちまき名無しさん このコメントに返信

ケプラーは脳内だけで惑星の楕円形移動とか考えてたんだっけ?マジで天才だろ

0

0

89 はちまき名無しさん このコメントに返信

なるほど…………さっぱりわからん

0

0

90 はちまき名無しさん このコメントに返信

こういう照明を無意味とか思ってる奴は数学を根本的に理解してない。
数学の理論ってのは工業製品のパーツみたいなもんで、一つ一つの理論が
別の新しい理論を組み立てる部品として繋がっていくんだよ。

0

0

91 はちまき名無しさん このコメントに返信

証明したら何ができんの?
何が発展するかが知りたい

0

0

92 はちまき名無しさん このコメントに返信

鉄平のコメントが
いかにも意味を理解できていないやつ
の発言で笑った

0

0

93 はちまき名無しさん このコメントに返信

大巣孝信 太信 兄弟の大巣予想。これが解けたらフィールズ賞やで。

0

0

最初
1
最後

コメントを投稿する

エラーが発生しました。 30秒以内にコメントが投稿されました。
名前 8文字以内で入力してください。 URLの入力はできません。 名前に禁止ワードが含まれています。
本文 (必須) 1000文字以内で入力してください。 本文を入力してください。 英数字のみの入力はできません。 URLの入力はできません。 本文に禁止ワードが含まれています。

※コメント番号の前に「>>」をつけると、そのコメントに返信できます(例:>>1)

投稿する

今日の人気記事
今週の人気記事
今月の人気記事