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). | ||
− | # The {{w|Hodge conjecture}} | + | # The {{w|Hodge conjecture}}. |
− | # The {{w|Poincaré conjecture}}, which asserts that the 3-sphere (the "surface" of a four-dimensional ball) is the only closed and simply-connected (i.e. no holes) 3-dimensional space. It was solved in 2003 by {{w|Grigori Perelman}} | + | # The {{w|Poincaré conjecture}}, which asserts that the 3-sphere (the "surface" of a four-dimensional ball) is the only closed and simply-connected (i.e. no holes) 3-dimensional space. It was solved in 2003 by {{w|Grigori Perelman}}. |
# The {{w|Riemann hypothesis}}, which asserts that all non-trivial zeroes of the {{w|Riemann zeta function}} have real part one-half. | # The {{w|Riemann hypothesis}}, which asserts that all non-trivial zeroes of the {{w|Riemann zeta function}} have real part one-half. | ||
− | # The {{w|Yang–Mills existence and mass gap}}, the problem of why the color force is conveyed by massless gluons but observed | + | # The {{w|Yang–Mills existence and mass gap}}, the problem of why the color force is conveyed by massless gluons but only observed in massive particles. This one is not mentioned on Cueball's slide. |
# The {{w|Navier–Stokes existence and smoothness}} problem, which questions whether or not there must be a solution to the {{w|Navier-Stokes equations}} (the laws of fluid motion) for any smooth set of initial conditions. | # The {{w|Navier–Stokes existence and smoothness}} problem, which questions whether or not there must be a solution to the {{w|Navier-Stokes equations}} (the laws of fluid motion) for any smooth set of initial conditions. | ||
# The {{w|Birch and Swinnerton-Dyer conjecture}}, abbreviated "Birch/SD" here, which asserts that there is a simple way to tell the number of rational solutions to an elliptic curve. | # The {{w|Birch and Swinnerton-Dyer conjecture}}, abbreviated "Birch/SD" here, which asserts that there is a simple way to tell the number of rational solutions to an elliptic curve. | ||
− | 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}}, has turned down his prize, so perhaps those funds could be used for Randall's proposed eighth prize. |
+ | |||
+ | 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. | ||
− | + | ==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 | + | [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]] |
− | |||
− | |||
− | |||
− | |||
− |