エルデシュの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の最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
「日記・コラム・つぶやき」カテゴリの記事
- 愛の方程式、i^i^i^i^i^...(虚数iのi乗のi乗のi乗の、、、つまり愛の愛情の愛情の愛情の、、、)をPython(SciPy）のLambertのW関数で計算する。 そしてexp(π/2)^exp(π/2)^exp(π/2)^… = -i （虚数）になる。(2021.06.10)
- tan1°が有理数か無理数かという入試問題があったが、Python+Sympyで実際に計算してみる。(2021.06.09)
- 新型コロナウイルス、中国、日本、韓国、アメリカ、ドイツ、フランス、イギリスでの感染者数を指数関数＆ロジスティック関数＆Log-Logプロットでべき関数フィッティングした（6/6更新） 日本もようやく増加が緩やかに。アメリカも。でも韓国・イギリスが伸びてるのは気になる。(2021.06.07)
- Pythonのscipy.optimize.least_squares()で複素数のデータを非線形の複素関数に最小二乗法でフィッティングする。(2021.06.04)
- NKODICE(んこダイス)というのを見て、キヨシ関数みたいだな、、、と思ったのでカシオの高精度計算サイトkeisan.casio.jpに”NKODICE(んこダイス）もどき”を作ってみた。5つがある配列になると？？？ Scratchでもやってみた。(2021.06.03)
トラックバック
この記事へのトラックバック一覧です： エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント