Editing 2529: Unsolved Math 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 a EULER FIELD GÖDEL-ESCHER-KURT-HALSEY STRANGE "CURVE" WALKING RANDOMLY ON A HYPERDIMENSIONAL FOUR-SIDED QUANTUM KLEIN MANIFOLD. Do NOT delete this tag too soon.}} | |
− | |||
− | + | Math has many problems that remain "unsolved." This is not simply a matter of finding the correct numbers on both sides of an equal sign, but usually require proving or finding a counterexample to some conjecture, or explaining some property of some mathematical object. Sometimes this might involve extending an existing proof to a wider range of numbers like reals, complex numbers, or matrices. | |
− | + | A concrete problem is one that is very obviously connected to a real world process, while an abstract problem is one which seems unconnected to actual problems. In modern math, many problems tend to be very abstract, requiring complicated notation to adequately state the problem in the first place, like many of the {{w|millennium problems}}. On the other hand, many unsolved problems are very concrete; for example, there are very many problems related to packing objects into spaces that are very difficult to solve although quite easy to state, such as the {{w|Collatz conjecture}}. Finally, Randall describes a third category of "cursed problems," that have strange, seemingly random behavior, such as the behavior of turbulence or the distribution of prime numbers. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | Finally she asks whether the problem statement is ill-formed; considering that it's mostly gibberish, this may be true. | + | In the first panel, Ponytail describes a weird abstract problem. Her description seems to be a meaningless jumble of terms that are either mathematical or just ''sound'' mathematical. And the mathematical terms are from disparate branches of mathematics: group theory, topology, and calculus. It's full of what seem to be [[Malamanteau|malamanteaus]]: "quasimonoid" combines the prefix "quasi" (meaning "partially" or "seemingly") and "monoid" (an object from group theory) and is probably meant to evoke the character {{w|Quasimodo}} from ''The Hunchback of Notre-Dame'' (although quasimonoids are a type of algebraic object, namely a non-associative {{w|monoid}}); "Gödel-Klein" combines {{w|Kurt Gödel}}, a 20th-century mathematician who studied logic and philosophy (he's most well known for {{w|Gödel's incompleteness theorems}}) and {{w|Felix Klein}}, a 19th century mathematician who studied group theory and geometry, who probably never collaborated; "Sondheim Calculus" refers to {{w|Stephen Sondheim}}, one of the most successful composers and lyricists of American musical theatre -- the producer of his musical "Into the Woods" once [[https://www.indiewire.com/2015/01/watch-singing-sondheim-is-like-calculus-in-into-the-woods-behind-the-scenes-video-exclusive-189507/ remarked]] that "Singing Stephen Sondheim is like calculus for singers and actors."; and "conjection" may combine conjecture and conjunction, or be a joke on pros and cons plus projection. "ϵ<0" is a joke about how in analysis, ϵ is usually defined to be an arbitrarily small ''positive'' number. Finally she asks whether the problem statement is ill-formed; considering that it's mostly gibberish, this may be true. |
− | Many real unsolved math problems appear similarly abstract. One example is the {{w|Hodge conjecture}}, a {{w|Millennium Prize Problems| | + | Many real unsolved math problems appear similarly abstract. One example is the {{w|Hodge conjecture}}, a {{w|Millennium Prize Problems|Millenium Prize}} problem. It states "Let X be a non-singular complex projective manifold. Then every Hodge class on X is a linear combination with rational coefficients of the cohomology classes of complex subvarieties of X." These words may appear nonsensical to a layperson. And even to an expert, the question is `abstract'. (Given a specific manifold, even an abelian fourfold, how on earth do you determine if a given 2,2 class is a cycle?) |
− | In the second panel, Cueball describes a concrete {{w|random walk}} problem, and then mentions that this somehow has applications in three unrelated fields. This is actually not uncommon. The Wikipedia article says that "random walks have applications to engineering and many scientific fields including ecology, psychology, computer science, physics, chemistry, biology, economics, and sociology. Walking randomly on a grid never visiting any square twice is known as a {{w|self-avoiding walk}}." This panel may have been inspired by some of the tricky unsolved problems about self-avoiding walks. Many of these problems have to do with rigorously proving properties of random walks that have been guessed by physics intuition, so these problems are connected to physics. The part about the maximum number of points in a line is reminiscent of problems in combinatorial geometry, which often involve counting points lying on different lines | + | In the second panel, Cueball describes a concrete {{w|random walk}} problem, and then mentions that this somehow has applications in three unrelated fields. This is actually not uncommon. The Wikipedia article says that "random walks have applications to engineering and many scientific fields including ecology, psychology, computer science, physics, chemistry, biology, economics, and sociology. Walking randomly on a grid never visiting any square twice is known as a {{w|self-avoiding walk}}." This panel may have been inspired by some of the tricky unsolved problems about self-avoiding walks. Many of these problems have to do with rigorously proving properties of random walks that have been guessed by physics intuition, so these problems are connected to physics. The part about the maximum number of points in a line is reminiscent of problems in combinatorial geometry, which often involve counting points lying on different lines. |
− | In the final panel, Megan is looking at a strange curve that seems to have no consistent pattern. At the bottom it's mostly straight, with a few little wobbles. In the middle it looks like a wild, high-frequency wave that suddenly bursts and then dies down. And the top is a spiral that looks like a question mark or a Western-style {{w|Crosier}}. She wonders if this could even be mathematical. | + | In the final panel, Megan is looking at a strange curve that seems to have no consistent pattern. At the bottom it's mostly straight, with a few little wobbles. In the middle it looks like a wild, high-frequency wave that suddenly bursts and then dies down. And the top is a spiral that looks like a question mark or a Western-style {{w|Crosier}}. She wonders if this could even be mathematical. Considering the weird shapes that come from plotting some mathematical processes (e.g. the {{w|Mandelbrot set}}), it could well be. |
− | |||
− | |||
− | + | ==Transcript== | |
+ | {{incomplete transcript|Do NOT delete this tag too soon.}} | ||
− | |||
The Three Types Of Unsolved Math Problem | The Three Types Of Unsolved Math Problem | ||
− | : | + | :First: Weirdly Abstract |
− | :[Ponytail stands in front of an equation | + | :[Ponytail stands in front of an equation] |
:Is the Euler Field Manifold Hypergroup Isomorphic to a Gödel-Klein Meta-Algebreic ε<0 Quasimonoid Conjection under Sondheim Calculus? | :Is the Euler Field Manifold Hypergroup Isomorphic to a Gödel-Klein Meta-Algebreic ε<0 Quasimonoid Conjection under Sondheim Calculus? | ||
:Or is the question ill-formed? | :Or is the question ill-formed? | ||
− | : | + | :⬙ℝंℤ/Eℵ₅ The Z is raised and underneath it is a double-ended arrow bent at a right angle. One points toward the R the other toward the Z. The ₅ is double-struck like the ℝ and ℤ |
:Second: Weirdly Concrete | :Second: Weirdly Concrete | ||
Line 54: | Line 42: | ||
:Third: Cursed | :Third: Cursed | ||
:[A Megan with unkempt hair stands next to a curve] | :[A Megan with unkempt hair stands next to a curve] | ||
− | :What in | + | :What in god's name is going on with this curve? |
:Is it even math? | :Is it even math? | ||
:[The curve starts at the bottom of the screen, rises straight upward, begins to wobble left and right a little. It lists to the left and the left-right motion increases, then decreases. It begins a large counter-clockwise arc, spiraling inwards twice, then ends] | :[The curve starts at the bottom of the screen, rises straight upward, begins to wobble left and right a little. It lists to the left and the left-right motion increases, then decreases. It begins a large counter-clockwise arc, spiraling inwards twice, then ends] | ||
Line 63: | Line 51: | ||
[[Category: Comics featuring Ponytail]] | [[Category: Comics featuring Ponytail]] | ||
[[Category: Math]] | [[Category: Math]] | ||
− |