Editing 2320: Millennium Problems
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 8: | Line 8: | ||
==Explanation== | ==Explanation== | ||
− | + | {{incomplete|Created by an ISOMORPHIC HODGE. Needs expert attention on Hodge, Yang-Mills, and Birch/SD. Do NOT delete this tag too soon.}} | |
+ | |||
+ | Cueball is presenting a slide on the {{w|Millennium Prize Problems}}, seven problems designated by the Clay Mathematics Institute in the year 2000 as some of the most important unsolved problems in mathematics, a sort of successor to David Hilbert's {{w|Hilbert's problems|list of 23 problems}} announced in 1900. The seven problems are: | ||
# The {{w|P versus NP problem}}, the problem of whether or not a problem whose solutions can be verified in polynomial time must necessarily have a method for producing a solution in polynomial time. This is thought not to be the case, i.e. "P != NP", but is not proven (nor mentioned on Cueball's slide). | # The {{w|P versus NP problem}}, the problem of whether or not a problem whose solutions can be verified in polynomial time must necessarily have a method for producing a solution in polynomial time. This is thought not to be the case, i.e. "P != NP", but is not proven (nor mentioned on Cueball's slide). | ||
Line 20: | Line 22: | ||
There are $1,000,000 prizes attached to each problem, although {{w|Grigori Perelman}}, the mathematician who proved the {{w|Poincaré conjecture}}, turned down his prize. | There are $1,000,000 prizes attached to each problem, although {{w|Grigori Perelman}}, the mathematician who proved the {{w|Poincaré conjecture}}, turned down his prize. | ||
− | + | Cueball is attempting to demonstrate relationships between the various problems. According to the presentation, proving one might either disprove or prove others, and the proposed interactions between problems are so complex that the Institute might decide to award an additional prize to whomever can figure out which problem or problems have actually been solved by any given proof. This eighth prize could perhaps be funded by the award Perelman rejected. | |
− | + | Cueball has previously been [[:Category:Banned from conferences|banned from conferences]] for various provocative acts; presumably he's on his way to getting thrown out of this one as well, as the other Cueball is already calling security. | |
The title text mentions that, if someone were to find a hole (a common expression for a deficiency or error) in Perelman's proof of the Poincaré conjecture, the famously reclusive author might show up again and fix the problem by applying the theoretical mathematics of differential geometry, where "hole" has a different meaning, to the figurative "hole" in the sequence of logical conclusions. The suggested method of enclosing the hole in a loop and then shrinking it away is reminiscent of the specific technique (Ricci flow with surgery) by which Perelman solved the Poincaré conjecture. | The title text mentions that, if someone were to find a hole (a common expression for a deficiency or error) in Perelman's proof of the Poincaré conjecture, the famously reclusive author might show up again and fix the problem by applying the theoretical mathematics of differential geometry, where "hole" has a different meaning, to the figurative "hole" in the sequence of logical conclusions. The suggested method of enclosing the hole in a loop and then shrinking it away is reminiscent of the specific technique (Ricci flow with surgery) by which Perelman solved the Poincaré conjecture. | ||
==Transcript== | ==Transcript== | ||
− | + | {{incomplete transcript|Do NOT delete this tag too soon.}} | |
− | + | ||
− | + | [Cueball is presenting in front of a projector screen. Ponytail is watching him, and another Cueball is looking off-panel.] | |
− | |||
− | + | [The slide on the projector screen shows a four-by-four matrix with illegible entries, connected by lines to the words "Hodge", "Riemann", "Navier-Stokes", and "Birch/SD". The phrase "Poincaré ''wrong??''" is written at the bottom of the slide. "Riemann" and "Navier-Stokes" are connected by an illegible equation, and arrows point from "Riemann" to "Hodge", from "Hodge" to "Birch-SD", from "Navier-Stokes" to "Birch-SD", from "Birch-SD" to "Poincaré ''wrong??''", and from "Poincaré ''wrong??''" to "Navier-Stokes". | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | : | + | :Cueball: ...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. |
− | : | + | :Cueball: But it would ''also'' mean that solving either of the other two would ''re''-prove Poincaré, and imply Hodge is isomorphic to... |
+ | :Other Cueball: ''Security?!'' | ||
− | + | Caption below panel: 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. | |
− | |||
{{comic discussion}} | {{comic discussion}} | ||
− | [[Category: | + | [[Category:Banned from conferences]] |
+ | [[Category:Math]] | ||
[[Category:Comics featuring Ponytail]] | [[Category:Comics featuring Ponytail]] | ||
− | + | [[Category: Multiple Cueballs]] | |
− | [[Category:Multiple Cueballs | ||
− | |||
− |