エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。
というのをだいぶ前に書いた。エルデシュのDiscrepancy problem：
をコンピュータで証明させたら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の最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
「日記・コラム・つぶやき」カテゴリの記事
- eetimesが選ぶ、ハロウィンに向けた面白電子工作プロジェクト10選。(2019.10.26)
- 道の真ん中を亀が歩いていた、、、(2019.08.13)
- ようやく探していたストロガッツ先生の「Infinite powers」買った！微分・積分の歴史から、ウサイン・ボルトやHIVとの闘い、など興味深い題材がたくさん。(2019.06.15)
- 「量子革命」を読んだ。ボーアがなぜあんなにアインシュタインとの論争で有名か、とか前期量子論だけじゃなく偉大な貢献をしたというのを知らなかったので勉強になる。ゾンマーフェルトが方位量子数と磁気量子数を導入したのも。(2019.06.02)
- 公園のエビフライのような遊具、コトブキさんのハニー、というらしいが、焦げたエビフライもあった。(2019.04.19)
トラックバック
この記事へのトラックバック一覧です： エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント