Comments on: 'The Poincare Conjecture' Solved?
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved/
Comments on MetaFilter post 'The Poincare Conjecture' Solved?Thu, 08 May 2003 14:33:44 -0800Thu, 08 May 2003 14:33:44 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60'The Poincare Conjecture' Solved?
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved
<a href="http://news.bbc.co.uk/2/hi/science/nature/3005875.stm">'The Poincare Conjecture' Solved?</a> "Dr Grigori Perelman, of the Steklov Institute of Mathematics of the Russian Academy of Sciences, St Petersburg, claims to have proved the Poincare Conjecture, one of the most famous problems in mathematics. The Poincare Conjecture, an idea about three-dimensional objects, has haunted mathematicians for nearly a century. If it has been solved, the consequences will reverberate throughout geometry and physics."<br>
<br>
Also of note is that Perelman's solution is only a benign side effect of his efforts toward defining all three-dimensional surfaces mathematically, which if successful would allow humanity to "produce a catalogue of all possible three-dimensional shapes in the Universe, meaning that [mankind] could ultimately describe the actual shape of the cosmos itself."post:www.metafilter.com,2003:site.25659Thu, 08 May 2003 14:31:49 -0800eyebeampoincareconjecturepoincareconjecturegrigoriperelmangrigoriperelmanmathematicsproblemsgeometryphysicsBy: delmoi
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486785
Um. Yeah.
Someone solved that like a year ago.comment:www.metafilter.com,2003:site.25659-486785Thu, 08 May 2003 14:33:44 -0800delmoiBy: eyebeam
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486786
Here's <a href="http://mathworld.wolfram.com/PoincareConjecture.html">more info</a> about The Poincare Conjecture. I confess that while I find this stuff conceptually fascinating, the actual mathematics involved make my ears bleed.comment:www.metafilter.com,2003:site.25659-486786Thu, 08 May 2003 14:35:09 -0800eyebeamBy: eyebeam
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486801
<i>Um. Yeah. Someone solved that like a year ago.</i>
Well, delmoi, you're right in that according to the <a href="http://www.wikipedia.org/wiki/Poincare_conjecture">Wikipedia</a>, the first rumors about his work surfaced late last year. But apparently the math is so advanced that his work is still being checked, and it has to stand up to two years of scrutiny to be considered okay. So, arguably, me and the BBC are behind the curve on the fast-breaking math news.
I just thought it was juicy brain food, and might make for some interesting (if perhaps uber-geeky) discussion around here. I thought the idea of being able to create a catalog of every possible three-dimensional object was a particularly mind-blowing concept.
Sorry if it's too "old news" to be interesting.comment:www.metafilter.com,2003:site.25659-486801Thu, 08 May 2003 14:48:39 -0800eyebeamBy: kaibutsu
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486805
(Intro) Topology is mostly definitions... Understanding those definitions is most of the early coursework. The subject is pretty mind blowing, and a lot of fun to wrap your head around. To show what the definitons are generally like, I'll dole out a few from the beginning of the MathWorld article. In topology, you're dealing with what are called 'topological spaces,' which include planes, spheres, donuts, and Moebius Strips. You can assume that they're just surfaces in n-dimensions.
Simply-Connected: If you take any two points in your space, you can walk from one to the other without leaving the space. For example, the Earth's surface is simply-connected, while Hawaii (if you leave out the ocean) is not.
Closed: A space that contains all of its boundaries. Most of the things we deal with in the physical world are closed: for example, a bag of skittles includes the bag. A line that includes its endpoints is closed, while one which doesn't is open. (For example, on a number line, if we take all numbers greater than 0 and less than 1, that is not closed.)
Three-Manifold: A 3-Dimensional space where Euclidean geometry works if you look at a small part of that pace. We live in a very good example of a manifold. Here on earth, if we draw a trangle, the angles will add up to 180 degrees. But if we draw a triangle between, say, New York, London, and Casablanca, the angles won't add up to 180 degrees because we're drawing on a sphere.
Most topological definitions are kinda like this, but there's a lot more meat to them in the textbooks 'cause they want us to be good formal mathematicians. They are tools for understanding the relationships between different spaces and for talking about spaces we can't visualize, essentially.comment:www.metafilter.com,2003:site.25659-486805Thu, 08 May 2003 14:57:30 -0800kaibutsuBy: kaibutsu
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486808
For what its worth, either because I've had my head stuck too deep in the books, or I've been severed from the mathematical community for months, I hadn't heard about this yet. Thanks for the link, eyebeam.comment:www.metafilter.com,2003:site.25659-486808Thu, 08 May 2003 14:58:51 -0800kaibutsuBy: kaibutsu
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486817
Here are the rest of the <a href="http://www-personal.une.edu.au/~lgrunwa2/une/units/clay/kiln/mathsprob_clay.html">million-dollar Clay Problems.</a> Erm, um, rather, <a href="http://www.claymath.org/Millennium_Prize_Problems/">HERE are the other Clay Problems.</a> The biggest, in my humble opinion, are the Riemann Hypothesis, which would cause a new revolution in number theory if its proven, and P-vs.-NP, which would either revolutionize our linear computing power, or (more likely) tell us that we really do need to find better ways around the big problems. Either way, the proof would probably be revolutionary.comment:www.metafilter.com,2003:site.25659-486817Thu, 08 May 2003 15:07:48 -0800kaibutsuBy: eyebeam
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486827
Thanks for dropping some definitions, kaibutsu, that helps me get my brain around this stuff a little better. I think I find this stuff interesting because I'm a visual thinker, and geometry is a type of math that's easier for me to see in my head than, say, algebra.
Also, totally off topic, I loved all the selections from Eastern poetry in your profile. Thanks for that, as well!comment:www.metafilter.com,2003:site.25659-486827Thu, 08 May 2003 15:16:34 -0800eyebeamBy: joaquim
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486838
<i>Simply-Connected: If you take any two points in your space, you can walk from one to the other without leaving the space.</i>
I can walk between any two points on a circle by simply following the circle. However, a circle is not <a href="http://www.wikipedia.org/wiki/Simply_connected">simply connected</a>. The loop definition given <a href="http://www.claymath.org/Millennium_Prize_Problems/Poincare_Conjecture/">here</a> is probably a better one.comment:www.metafilter.com,2003:site.25659-486838Thu, 08 May 2003 15:29:21 -0800joaquimBy: gleuschk
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486855
An <a href="http://www.leuschke.org/log/archives/week_2002_04_07.html#at_last_the_mys">old post of mine about PC</a>, if you're curious.comment:www.metafilter.com,2003:site.25659-486855Thu, 08 May 2003 15:54:32 -0800gleuschkBy: kaibutsu
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486921
And that's probably why they threw me out of University. The surface reason, of course, was my Honor's thesis on <a href="http://us.imdb.com/Title?0248845" title="Quip shamelessly stolen from this film.">philosophy and rock history</a> entitled "You, Kant, Always Get What You Want." But the confusion of Path Connected and Simply Connected certainly played a good hand in the final decision.
I'm sorry.comment:www.metafilter.com,2003:site.25659-486921Thu, 08 May 2003 18:08:24 -0800kaibutsuBy: planetkyoto
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486933
If he's right, this could get ugly, and no one wants to see a repeat of <a href="http://tinyurl.com/bc3c">the math riots</a> that broke out 10 years ago after Fermat's last theorem was proven.comment:www.metafilter.com,2003:site.25659-486933Thu, 08 May 2003 18:46:15 -0800planetkyotoBy: jokeefe
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#486966
Math riots!
<i>Mounted police throughout Hyde Park kept crowds of delirious wizards at the University of Chicago from tipping over cars on the midway as they first did in 1976 when Wolfgang Haken and Kenneth Appel cracked the long-vexing Four-Color Problem. Incidents of textbook-throwing and citizens being pulled from their cars and humiliated with difficult story problems last week were described by the university's math department chairman Bob Zimmer as "isolated."
Zimmer said, "Most of the celebrations were orderly and peaceful. But there will always be a few -- usually graduate students -- who use any excuse to cause trouble and steal. </i>
gleuschk, can you account for your whereabouts during this time? Hmmmm?
Oh course, this was nothing compared to the Foucault disturbances in English Departments during the 1970s. Now those were ugly.comment:www.metafilter.com,2003:site.25659-486966Thu, 08 May 2003 20:02:57 -0800jokeefeBy: planetkyoto
http://www.metafilter.com/25659/The-Poincare-Conjecture-Solved#487044
Wow, I went to work after reading this thread and there was Poincare on my desk, being used in a paper to prove that snoring sounds show features of "chaos".comment:www.metafilter.com,2003:site.25659-487044Fri, 09 May 2003 01:33:36 -0800planetkyoto