« 天気で香りが変わるってどういうこと?(ボールドの新CM見て) | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »

2015年9月27日 (日)

エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。

というのをだいぶ前に書いた。エルデシュのDiscrepancy problem:

Erdős discrepancy problem

というのがあって、±1の値をとる数列x1,x2,..と任意の値Cについて、

 \left| \sum_{i=1}^k x_{id} \right| > C

が成り立つk,dがあるか?

をコンピュータで証明させたら13GBにもなって人間も検証できない、、、というもの。
ところがこの記事:
天才、テレンス・タオとPolymathプロジェクト:http://michaelnielsen.org/polymath1/index.php?title=The_Erd%C5%91s_discrepancy_problem
が証明してしまったというもの。
論文はこれ。
Taoのコメントがあるけれど、
”It is typical example of high-class human mathematics”
まさにそう。かっこいい!

« 天気で香りが変わるってどういうこと?(ボールドの新CM見て) | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/512682/62365416

この記事へのトラックバック一覧です: エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:

« 天気で香りが変わるってどういうこと?(ボールドの新CM見て) | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »

2017年5月
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      
フォト
無料ブログはココログ