Millennium Problems - ミレニアム問題 - XKCD日本語訳

Millennium Problems - ミレニアム問題

公開日:2020年06月16日更新日:2020年06月16日なぐ Link

Millennium Problems（ミレニアム問題）

男1: ...Proving that one of these four is unsolvable, but not which. If it's one of these, it would open a hole in Perlman's Poincaré conjecture proof.
　（...この4つのうちの1つが解けないことを証明するが、どれが解けないかはわからない。これらのうちのどれかであれば、パールマンのポアンカレ予想の証明に穴が開いてしまう。）

男1: But it would also mean that solving either of the other two would re-prove Poincaré, and imply Hodge is isomorphic to...
　（だが、他の2つのどちらかを解けば、ポアンカレを再証明し，ホッジがと同型であることを暗示することになる...。）

男2: Security?!
　（セキュリティ？！）

I'm trying to make it so the Clay Mathematics Institute has to offer an eighth prize to whoever figures out who their other prizes should go to.
　（僕がこれを実証しようとしているので、クレイ数学研究所は、他の賞が誰に贈られるべきかを考え出した人に8番目の賞を提供しなければならない。）

Alt-text: The hard part about opening a hole in the proof of the Poincaré conjecture is that Grigori Perelman will come out of retirement to try to fix it by drawing a loop around the hole and contracting it to a point.
　（ポアンカレ予想の証明で穴を開けるのが難しいのは、グリゴリ・ペレルマンが引退後に出てきて、穴の周りに輪を描いて点に縮めることで穴を直そうとするからだ。）

xkcd: Millennium Problems
https://xkcd.com/2320/

補足

　アメリカのクレイ数学研究所により賞金が掛けられている、ミレニアム懸賞問題に関するコミック。

　7つある、それぞれの問題の間に複雑な相互関係があるため、その関係を正しく理解し、実証できた人に8番目の賞を与えるべきだと主人公の男はプレゼンする。

XKCDカテゴリの記事について

この記事は、世界で人気のWebコミック「xkcd」の最新コミックを日本語に翻訳しています。
過去の記事はxkcd日本語訳（2019年）、xkcd日本語訳（2018年）、xkcd日本語訳（2017年）、xkcd日本語訳（2016年）、xkcd日本語訳（2015年）、xkcd日本語訳（2014年）、xkcd日本語訳（2013年）、xkcd日本語訳からどうぞ。
秀逸なコミックは、過去のランキングベスト10の記事、2009年から2010年、2011年、2012年、2013年、2014年、2015年でまとめています。
なお、英文が難解な場合は、クオリティの低い訳文をUPしてしまうことも多々ありますが、自ら気づいたり、皆様からの指摘があれば、正しい訳文にその都度直していきます。もし誤訳を見つけましたら、コメントなどで気軽にご指摘下さい。