Comments on: Mathematics world abuzz with a proof of the ABC Conjecture
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture/
Comments on MetaFilter post Mathematics world abuzz with a proof of the ABC ConjectureTue, 11 Sep 2012 21:53:40 -0800Tue, 11 Sep 2012 21:53:40 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Mathematics world abuzz with a proof of the ABC Conjecture
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture
<a href="http://www.kurims.kyoto-u.ac.jp/~motizuki/top-english.html">Shinichi Mochizuki</a> believes that he has <a href="http://www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378">found a connection between prime numbers</a> by developing a 500 page proof of the <a href="http://mathworld.wolfram.com/abcConjecture.html">ABC conjecture</a> <br /><br />"If the ABC conjecture yields, mathematicians will find themselves staring into a cornucopia of solutions to long-standing problems," says Dorian Goldfeld, a mathematician at Columbia University in New York,post:www.metafilter.com,2012:site.119847Tue, 11 Sep 2012 21:48:09 -0800zeoslapmathematicsabjconjectureshinichimochizukiBy: Chocolate Pickle
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560655
Like what?
Does this represent a threat to the RSA cipher, for instance?comment:www.metafilter.com,2012:site.119847-4560655Tue, 11 Sep 2012 21:53:40 -0800Chocolate PickleBy: TwelveTwo
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560662
Are there any mathematicians on the plane? Is there a mathematician on this airplane? If you are a mathematician please press the flight attendant call button immediately.comment:www.metafilter.com,2012:site.119847-4560662Tue, 11 Sep 2012 22:02:47 -0800TwelveTwoBy: michaelh
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560663
I'd like to think anyone can stare at the cornucopia, but only mathematicians can pull out the food and distribute it. Or maybe they just spill it on the table triumphantly.comment:www.metafilter.com,2012:site.119847-4560663Tue, 11 Sep 2012 22:04:35 -0800michaelhBy: klausman
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560664
Initial <a href="http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/">response</a> and discussion on this (from 9/3). I found the Barry Mazur link helpful for understanding the statement of the theorem.comment:www.metafilter.com,2012:site.119847-4560664Tue, 11 Sep 2012 22:04:36 -0800klausmanBy: jeffamaphone
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560665
RSA is safe. This proof, if valid, proves that some properties of prime numbers we think are true, are actually true. If those properties were useful in attAcking RSA, nobody would wait for a proof; they would just try it.
The long-standing problems are other unanswered questions in mathematics. For example proving this also proves FLT, though that has already been proven in other ways.comment:www.metafilter.com,2012:site.119847-4560665Tue, 11 Sep 2012 22:04:54 -0800jeffamaphoneBy: schmod
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560669
<a href="http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560663">michaelh</a>: "<i> Or maybe they just spill it on the table triumphantly.</i>"
They approach the cornucopia, take a careful look, step back, and proudly proclaim "We could spill this!"comment:www.metafilter.com,2012:site.119847-4560669Tue, 11 Sep 2012 22:09:20 -0800schmodBy: bc_fred
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560670
There's a sense of the amazing strangeness of mathematics in Simon Singh's book "Fermat's Enigma", which is about the discovery of Fermat's Last theorem. I just re-read it, and it's a pretty approachable book which I highly recommend.
I mention it because the article here describes how this proof can be applied to many problems including Fermat's Theorem, not just the ABC conjecture. That would be prodigious.
Fermat's Theorem was solved, finally, but finding a relationship between two seemingly unrelated branches of mathematical research. That discovery is part of an effort to discover more such connections.
It is a wondrous thing. Math would be totally valid in the universe if life and consciousness had never evolved.comment:www.metafilter.com,2012:site.119847-4560670Tue, 11 Sep 2012 22:09:31 -0800bc_fredBy: chemoboy
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560672
I am no jedi. But I know there are jedi in the blue. Hopefully one will speak up because this appears to be quite a revelation. From what I read, I think this has serious implications in predicting (or verifying) prime numbers. And that should have some implication in cryptography, yes?comment:www.metafilter.com,2012:site.119847-4560672Tue, 11 Sep 2012 22:10:39 -0800chemoboyBy: fatbird
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560675
<em>And that should have some implication in cryptography</em>
This isn't my strong suit, but my understanding of the role primes play in crypto is that it's factoring non-primes to find two primes that are factors, that is the computationally hard thing that secures RSA and other algorithms. Finding primes themselves doesn't change that.comment:www.metafilter.com,2012:site.119847-4560675Tue, 11 Sep 2012 22:13:47 -0800fatbirdBy: aeschenkarnos
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560702
<strong>jeffamaphone</strong> <em>For example proving this also proves FLT, though that has already been proven in other ways.</em>
Ah, but is it elegant and small enough to not quite fit within the margin of a textbook?comment:www.metafilter.com,2012:site.119847-4560702Tue, 11 Sep 2012 22:36:41 -0800aeschenkarnosBy: weapons-grade pandemonium
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560713
<em>Math would be totally valid in the universe if life and consciousness had never evolved.</em>
Sure, but life and consciousness were totally valid long before math got out of bed.comment:www.metafilter.com,2012:site.119847-4560713Tue, 11 Sep 2012 22:46:33 -0800weapons-grade pandemoniumBy: stbalbach
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560716
<i>The proof is spread across four long papers, each of which rests on earlier long papers. "It can require a huge investment of time to understand a long and sophisticated proof"
He has developed techniques that very few other mathematicians fully understand and that invoke new mathematical 'objects' — abstract entities analogous to more familiar examples such as geometric objects, sets, permutations, topologies and matrices. "At this point, he is probably the only one that knows it all." </i>
This makes my head hurt.comment:www.metafilter.com,2012:site.119847-4560716Tue, 11 Sep 2012 22:47:47 -0800stbalbachBy: b1tr0t
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560717
There's a plane in Spain where DJs mostly scratch with Rane.
<small>It's in the basement of the Clube René</small>comment:www.metafilter.com,2012:site.119847-4560717Tue, 11 Sep 2012 22:48:31 -0800b1tr0tBy: dephlogisticated
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560719
Shinichi Mochizuki entered Princeton at 16, graduated in three years, and earned his Ph.D by age 22. He's never been married, which seems an odd thing to put on <a href="http://www.kurims.kyoto-u.ac.jp/~motizuki/Curriculum%20Vitae.pdf">your CV</a>, but then it seems brilliant mathematicians are seldom normal in habit or disposition.
If you look through the <a href="http://www.kurims.kyoto-u.ac.jp/~motizuki/Past%20and%20Current%20Research.pdf"> Past And Current Research</a> document on his website, it appears he's been developing the tools and ideas for this project since at least the summer of 2000. So this proof has been twelve long years in the works.comment:www.metafilter.com,2012:site.119847-4560719Tue, 11 Sep 2012 22:49:51 -0800dephlogisticatedBy: benito.strauss
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560723
Something tells me that it's going to take a while before "Inter-universal Teichmuller theory" achieves the same popular usage that "<a href="http://www.metafilter.com/119779/With-respect-to-an-equivalence-defined-by-some-feature">modulo</a>" has.comment:www.metafilter.com,2012:site.119847-4560723Tue, 11 Sep 2012 22:52:40 -0800benito.straussBy: fatbird
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560736
His website is awesomely terrible. I mean, it's bad in <em>1996</em> terms.comment:www.metafilter.com,2012:site.119847-4560736Tue, 11 Sep 2012 23:20:53 -0800fatbirdBy: mr_roboto
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560741
<em>RSA is safe.</em>
<a href="http://www.kurims.kyoto-u.ac.jp/~motizuki/anpi-kakunin-jouhou.html">As is Shinichi Mochizuki</a>.comment:www.metafilter.com,2012:site.119847-4560741Tue, 11 Sep 2012 23:32:57 -0800mr_robotoBy: Malor
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560742
How to know someone's really, really good: when mathematicians say that his or her papers feel like they came from aliens.comment:www.metafilter.com,2012:site.119847-4560742Tue, 11 Sep 2012 23:33:52 -0800MalorBy: JHarris
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560768
<i>Math would be totally valid in the universe if life and consciousness had never evolved.</i>
I think I'm going to dispute this, but not strongly enough to go into a derail over it. I think it'd mostly be me quibbling over terms anyway.comment:www.metafilter.com,2012:site.119847-4560768Wed, 12 Sep 2012 00:10:58 -0800JHarrisBy: chimaera
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560771
I was looking at his "Past and Current research" when I saw just about the only thing I recognize and understand in that PDF -- a Gaussian Integral. But then he said something about his work on Elliptic Curves as a "scheme-theoretic discretization" of said integral. And though I know what "scheme," "theoretic," and "discretization" all mean, I have only the vaguest, foggiest idea what they might mean together in that order.comment:www.metafilter.com,2012:site.119847-4560771Wed, 12 Sep 2012 00:13:29 -0800chimaeraBy: From Bklyn
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560776
Dammit! He <i>just</i> beat me too it.comment:www.metafilter.com,2012:site.119847-4560776Wed, 12 Sep 2012 00:32:31 -0800From BklynBy: Another Fine Product From The Nonsense Factory
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560785
I have learnt that, especially on the internet it is to be skeptical about claimed proofs for longstanding mathematics problems that I have no hope of understanding. So, this is definitely cool but call us again in 2 years?
That said a) everyone should click the first link because this guy has an amazing website.
b) the fact he is a respected and renowned academic makes me think this is much more likely than say that P/NP proof that everyone was excited by a while ago.comment:www.metafilter.com,2012:site.119847-4560785Wed, 12 Sep 2012 01:03:29 -0800Another Fine Product From The Nonsense FactoryBy: armoir from antproof case
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560802
<em> Let me report on my progress in writing up the series of papers on
IUTeich. The task of writing up and making a final check on the
contents of the series of papers is proceeding smoothly, and it
appears that the four papers in the series will come to a total of
about 500 pages. Previously (cf. the entry made on 2009-10-15) I
stated that I hope to finish this project by the summer of 2012;
although it is not clear whether or not I will be able to meet
this summer deadline, I do hope to finish by the latter half of the
year 2012. (Nevertheless, of course, I am not able to guarantee
anything at the present time.)</em>
No wonder this guy's never been married. He's, like, <em>totally </em> noncommittal .comment:www.metafilter.com,2012:site.119847-4560802Wed, 12 Sep 2012 01:23:25 -0800armoir from antproof caseBy: effugas
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560828
That the theorem is true isn't useful for attackers (as pointed out, if it was useful, we'd just presume it to be true) but there might be interesting math buried in the proof that could improve the factorization of large two-prime composites (which would break RSA).comment:www.metafilter.com,2012:site.119847-4560828Wed, 12 Sep 2012 02:16:16 -0800effugasBy: three blind mice
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560847
<i> So, this is definitely cool but call us again in 2 years? </i>
The <a href="http://en.wikipedia.org/wiki/Riemann_hypothesis">Riemann hypothesis</a> - which also contains implications about the location of prime numbers - is about 150 years old and (IIRC) still not proven or disproven. I wonder if this ABC conjecture will have any bearing on it.comment:www.metafilter.com,2012:site.119847-4560847Wed, 12 Sep 2012 03:31:54 -0800three blind miceBy: wilko
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560850
<i>The long-standing problems are other unanswered questions in mathematics. For example proving this also proves FLT, though that has already been proven in other ways.</i>
Damn, I thought for a second we had Faster Than Light travel.comment:www.metafilter.com,2012:site.119847-4560850Wed, 12 Sep 2012 03:34:28 -0800wilkoBy: Mr. Bad Example
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560868
<i>Simon Singh's book "Fermat's Enigma"</i>
Slight tangent here, but he also wrote the awesome <i>The Code Book</i>, which goes into detail not only about things like the Enigma machine and Bletchley Park, but also the deciphering of Egyptian hieroglyphics and Linear B. It's well worth reading.comment:www.metafilter.com,2012:site.119847-4560868Wed, 12 Sep 2012 03:52:56 -0800Mr. Bad ExampleBy: DU
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560871
<a href="http://bit-player.org/2012/the-abc-game">A pretty good post about the ABC problem</a>.comment:www.metafilter.com,2012:site.119847-4560871Wed, 12 Sep 2012 03:58:58 -0800DUBy: ardgedee
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560880
> <i>I'd like to think anyone can stare at the cornucopia, but only mathematicians can pull out the food and distribute it. Or maybe they just spill it on the table triumphantly.</i>
<b>Theory:</b> We have investigated this cornucopia and establish a high probability that any hypothetical attempts at spillage would be successful.
<b>Applied:</b> We have parameterized the consequences of a spillage, if attempted, and pending grants approval we will prepare controls and embark on an observed spillage attempt in 2018.
<b>Practical:</b> Cornucopia spillage associates needed immediately for seasonal work beginning immediately. Good pay, convenient hours!comment:www.metafilter.com,2012:site.119847-4560880Wed, 12 Sep 2012 04:23:25 -0800ardgedeeBy: charlie don't surf
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560885
<em>Then, assuming the abc conjecture is true, we have these results:
How many hits have h ≥ 1? Answer: infinitely many.
How many hits have h > 1? Answer: finitely many.
How many hits have h = 1? Answer: zero.</em>
need.. more.. coffee..comment:www.metafilter.com,2012:site.119847-4560885Wed, 12 Sep 2012 04:37:20 -0800charlie don't surfBy: escabeche
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560894
<em>Initial response and discussion on this (from 9/3).</em>
That's my blog, by the way! I'm a number theorist and I've been thinking about ABC and related questions for a long time, so I'm happy to chat about it here.comment:www.metafilter.com,2012:site.119847-4560894Wed, 12 Sep 2012 04:45:30 -0800escabecheBy: Hobgoblin
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560935
Does this sort of math actually <strong>do</strong> anything other than solve a puzzle? I mean, is this proof anything more than a giant riddle? Will it lead to cold fusion or Faster Than Light travel? I ask not to snark but as a mathematical ignoramus.comment:www.metafilter.com,2012:site.119847-4560935Wed, 12 Sep 2012 05:12:34 -0800HobgoblinBy: hoyland
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560961
<i>He's never been married, which seems an odd thing to put on your CV, but then it seems brilliant mathematicians are seldom normal in habit or disposition.</i>
In some places, including apparently Japan, putting your marital or family status on your CV is normal. It doesn't seem like a stretch that specifying you've never been married is common practice, though obviously someone familiar with Japanese CVs could tell us.comment:www.metafilter.com,2012:site.119847-4560961Wed, 12 Sep 2012 05:28:23 -0800hoylandBy: DU
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560976
<i>Does this sort of math actually do anything other than solve a puzzle?</i>
Prime numbers are pretty useful, yes. Also, "what is the use of a newborn child?"comment:www.metafilter.com,2012:site.119847-4560976Wed, 12 Sep 2012 05:36:18 -0800DUBy: Egg Shen
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560991
<em>The Riemann Hypothesis</em>
That always makes me think of a Robert Ludlum novel.comment:www.metafilter.com,2012:site.119847-4560991Wed, 12 Sep 2012 05:43:37 -0800Egg ShenBy: escabeche
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561018
charlie don't surf, you should note that the reason <a href="http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4560885">the passage you link to</a> seems so paradoxical is that it's wrong -- the author has corrected it in the current version of the post.comment:www.metafilter.com,2012:site.119847-4561018Wed, 12 Sep 2012 05:55:18 -0800escabecheBy: kmz
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561086
<i>That always makes me think of a Robert Ludlum novel.</i>
<i>The Riemann Legacy</i> didn't even feature Riemann himself though! I mean, I liked the new character David Hilbert but it was still sorta bullshit.comment:www.metafilter.com,2012:site.119847-4561086Wed, 12 Sep 2012 06:21:46 -0800kmzBy: kengraham
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561247
<i>Does this sort of math actually do anything other than solve a puzzle?</i>
I'm not sure if it's your intent here, but often the "what's it for?" question (directed at math or at other such pursuits) is secretly "can someone get rich from this?". If not, the question is more or less equivalent to "What is music for?" or "Why have non-procreative sex?" -- lots of folks spend lots of energy on things deemed "impractical", but I think asking what it's for is, depending on the intent of the question, basically unfair, or at least gives way too much credence to shared fictions that are fundamentally kind of bizarre; insurance salesfolk, say, or professional athletes, are rarely asked what the objects of their efforts are "for".
If there weren't riddles and poetry and art and games and idle discussion and music -- in short, a whole <b>cornucopia</b> of "impractical" things, including pure math, that folks do -- there'd be very litte point in any of the practical things -- practical as in basic human physical needs -- that, say, "cold fusion" would help to secure.
That said, part of being a mathematician is to grin and bear this question, even though it's less often asked of people whose vocation is equally arcane*. Part of being a good mathematician is to answer the question in such a way that the excitement and narrative tension and emotional investment and joy of math comes across, because these things are the answer to the question, just as they are for numerous other pursuits.
*[How come people who do extremely rarefied physics don't have to put up with it? It's not like "explaining the universe" on a level nobody experiences viscerally is any less arcane than anything in pure math. Plenty of abstract things feel more "real" are more real to me, and any other non-physicist, than abstract descriptions of ostensibly "physical" things.]
<small>In other news about well-known-in-the-right-circles conjectures now having claimed proofs, Justin Moore seems to have shown that <a href="http://settheory.mathtalks.org/justin-moore-thompsons-group-is-amenable/">Thompson's group F is amenable</a>. </small>comment:www.metafilter.com,2012:site.119847-4561247Wed, 12 Sep 2012 07:41:55 -0800kengrahamBy: Hobgoblin
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561289
Thanks, kengraham. It seems that my question hits you somewhat like "Did you play basketball?" annoys me (I'm tall). I apologize. It's just that I never "got" stuff like this, but I'm glad some folks do.comment:www.metafilter.com,2012:site.119847-4561289Wed, 12 Sep 2012 08:04:44 -0800HobgoblinBy: AElfwine Evenstar
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561316
So inter-universal Teichmuller theory is a mathematical theory which describes the geometric structure of a recursive Level IV multiverse? Did I get that correct or am I just tripping balls over here?comment:www.metafilter.com,2012:site.119847-4561316Wed, 12 Sep 2012 08:18:20 -0800AElfwine EvenstarBy: Afroblanco
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561321
Awesome. Now we can finally leave the Cube.
(although, let's face it, only Mochizuki will <em>actually</em> get to leave the Cube. The rest of us will be undone by our various human failings)comment:www.metafilter.com,2012:site.119847-4561321Wed, 12 Sep 2012 08:19:12 -0800AfroblancoBy: fearfulsymmetry
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561337
Is the answer Ghostbusters 2?comment:www.metafilter.com,2012:site.119847-4561337Wed, 12 Sep 2012 08:23:52 -0800fearfulsymmetryBy: stoneweaver
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561401
<i>Damn, I thought for a second we had Faster Than Light travel.</i>
Me, too. :-(comment:www.metafilter.com,2012:site.119847-4561401Wed, 12 Sep 2012 08:42:14 -0800stoneweaverBy: jhc
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561458
There's a great discussion of this over at mathoverflow. As a non-math person, the <a href="http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/106603#106603">comment I found most helpful</a> was explaining why we're <i>not</i> going to get much useful discussion of this for a while:
<blockquote>That being said, although the new ABC developments are potentially very exciting, and it is understandable to want to "share in the excitement", for reasons specific to this situation it seems to be much too premature to ask for a sketch on MO or in a blog of Mochizuki's vision/proof with an expectation of insight into the new work. Let me try to indicate why this is the case.
As has been explained clearly by JSE elsewhere, there are plenty of top experts in arithmetic geometry who are presently struggling to get even a small handle on what is really going on in Mochizuki's papers (due entirely to the experts' lack of prior study of these ideas; Mochizuki's writing is extremely precise, detailed, thorough, and full of intuitive asides!). So the situation seems to be rather different from that of other tremendous advances in recent decades (by Perelman, Faltings, Wiles, etc.), for which the deep new work took place within a context that was already somewhat familiar to a good-sized community of experts in the field (who could then use their experience and expertise to quickly disseminate a "bird's eye view" to others of some of the key new ideas).
Because of the rather unique circumstances of this case, as just indicated, I believe that quid's initial urging of patience (if one isn't going to be directly engaged with the struggle to read the actual papers and the prior work upon which they depend) is appropriate.</blockquote>
From a purely linguistic perspective, though, I recommend reading the <a href="http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/106658#106658">comment by Professor Minhyong Kim</a>, one of the aforementioned experts in arithmetic geometry who seems to have written important papers on the subject. His first paragraph says "as with many of my answers, there's the danger I'm just regurgitating common knowlege in a long-winded fashion, in which case, I apologize." The game is to count the number of technical words he uses once in his 2,600-word comment and then never mentions again:
<blockquote>The beginning of the investigation is indeed the <strong>function field case</strong> (over C, for simplicity), where one is given a family
[math]
of elliptic curves <strong>over a compact base</strong>, best assumed to be <strong>semi-stable</strong> and <strong>non-isotrivial</strong>. There is an exact sequence
[math]
which is moved by the <strong>logarithmic Gauss-Manin connection</strong> of the family. (I hope I will be forgiven for using standard and non-optimal notation without explanation in this note.) That is to say, if S⊂B is the finite set of <strong>images</strong> of the <strong>bad fibers</strong>, there is a log connection
[math]
which does not preserve ωE. This fact is crucial, since it leads to an <strong>OB-linear Kodaira-Spencer map</strong>
[math]
and thence to a <strong>non-trivial map</strong>
[math]
From this, one easily deduces <strong>Szpiro's inequality</strong>:
[math] </blockquote>
And then it goes on like that for another eight pages with barely any repeats! I'm not saying this is beyond the reach of mortals, I'm just saying the sheer density of information is amazing. It's like a Martian who learns basic English, lands on planet Earth and asks for a quick summary of the significance of Das Kapital. Where do you start?comment:www.metafilter.com,2012:site.119847-4561458Wed, 12 Sep 2012 09:05:03 -0800jhcBy: the painkiller
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561474
Can someone please explain this to me using animated gifs?comment:www.metafilter.com,2012:site.119847-4561474Wed, 12 Sep 2012 09:08:38 -0800the painkillerBy: IAmBroom
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561505
<blockquote><a href="http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561474">the painkiller</a>: Can someone please explain this to me using animated gifs?</blockquote>
Count all the cat videos on Youtube. Now count all the snarky comments on Youtube. Multiply them together, creating a gigantic Youtube channel of cat videos with nothing but snarky comments.
If the number of comments you add exceeds the number of servers Youtube has to buy to keep up with the...
Wait, I forgot what I was trying to do.comment:www.metafilter.com,2012:site.119847-4561505Wed, 12 Sep 2012 09:28:10 -0800IAmBroomBy: AElfwine Evenstar
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4561711
<em>So inter-universal Teichmuller theory is a mathematical theory which describes the geometric structure of a recursive Level IV multiverse? Did I get that correct or am I just tripping balls over here?</em>
And what does this have to do with primes???? I'm more confused than ever.comment:www.metafilter.com,2012:site.119847-4561711Wed, 12 Sep 2012 10:47:20 -0800AElfwine EvenstarBy: Hubajube
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562072
<em>Does this sort of math actually do anything other than solve a puzzle?</em>
Even if it doesn't right now, as it said at the top "Mathematicians will find themselves staring into a cornucopia of solutions to long-standing problems." Some of these problems may be immediately applicable to problems in applied mathematics.
And even if that weren't true, then you can think of it as a tool. Pure math develops the tools, and applied math uses them. Many applications of applied math used tools from pure math that were originally developed outside of the context of a real-world application. A good example is the case of complex/imaginary numbers. The idea of a construct for the square root of -1 was originally an exercise in pure math, but without this tool you'd never have the math for aerodynamics, for example.comment:www.metafilter.com,2012:site.119847-4562072Wed, 12 Sep 2012 12:51:48 -0800HubajubeBy: escabeche
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562265
<em>As has been explained clearly by JSE elsewhere,</em>
That's me, too, actually!comment:www.metafilter.com,2012:site.119847-4562265Wed, 12 Sep 2012 14:07:06 -0800escabecheBy: JHarris
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562496
Speaking as a total lay person here, but to chime in on the "but what is it good for" question, math is <i>full</i> of theoretical and recreational topics that turned out to be important later on.
Take imaginary numbers for example: take a thing known to be impossible, finding the square root of -1. Pretend it <i>is</i> possible, and assign a constant to be equal to the answer. It turns out that answer is useful, as a symbol, in a lot of ways. Both the theory of relativity and quantum mechanics rely on imaginary numbers, and they are quite real. It's silly to ask what the point is, because we have no way of knowing for sure what math will be important to later generations.
And there's so much novel math being used to arrive at this solution that it may well be the case that the solution to this problem turns out to be less important than the means Mochizuki used to arrive at it.comment:www.metafilter.com,2012:site.119847-4562496Wed, 12 Sep 2012 15:21:14 -0800JHarrisBy: charlie don't surf
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562597
<em>charlie don't surf, you should note that the reason the passage you link to seems so paradoxical is that it's wrong -- the author has corrected it in the current version of the post.</em>
Well that's a huge relief. I'm working with a woman who has an MS in Math, you know the type who can recite 30 digits of Pi from memory. I wrote down those inequalities for her and briefly explained the background. First I got the Spock Eyebrow, then she got a faraway look in her eyes as she contemplated them, then a look of scorn and the query "what what could that possibly mean?" We are working on logic papers that are so badly written, our logical faculties are degrading, and we were both prepared to believe this was true.comment:www.metafilter.com,2012:site.119847-4562597Wed, 12 Sep 2012 15:54:58 -0800charlie don't surfBy: kengraham
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562645
<i>it may well be the case that the solution to this problem turns out to be less important than the means Mochizuki used to arrive at it.</i>
Emphatically this, in general, even if it doesn't turn out to be the case in this situation. I'm not a number theorist and am far from being able to speculate intelligently about other applications of machinery introduced by Mochizuki, but aiming at specific goals, and developing machinery in order to progress toward those goals, drives a lot of mathematical development, even when the goals are not reached. When they are, the accomplishment is a cause for celebration for everyone, but for those in the trenches in that particular subfield, a major benefit is retracing the road to the solution and looking for unexplored forks where the alternative route has a reasonable chance of being well-paved, as it were. This stands to reason, especially for long-standing conjectures, because the statement of the conjecture is not a surprise, but the proof necessarily is: everyone's had time to think about the implications of the conjecture, but not necessarily about the implications of the (hitherto unknown) ingredients of the proof.
Of course it all gets very complicated, because theorems can't readily be slotted into "road" or "terminus" pigeonholes. However, JHarris, you've drawn attention to the important fact that the goal is to <b>understand "stuff"</b> and how the aggregate of all the "stuff" relates to itself. Proving theorems is a way of making very precise what is understood, and articulating the understanding, but often (though not always) the understanding is concentrated in the proof -- which almost always illuminates some of the inner workings of the "stuff" -- more than in the bare statement of the theorem.
(This is calling to mind <a href="http://arxiv.org/abs/math.HO/9404236">this essay</a> by the late and extremely creative William Thurston, which I recommend highly to folks interested in the "What's it for?" question. A little formal math training helps to understand some of his examples, but it's widely appreciate-able.)
Maybe a more experienced mathematician would take issue with some of this, or have something to add. I'm pretty new to the game, just starting to stray from a small neighborhood of my thesis, so I don't even have evidence that particular philosophical or social statements about one field of math hold in another (and I even have evidence that they in general don't). If it's not too deraily, maybe there is some mathematical <i>eminence grise</i> around here who can tell us their response to the "what's it for?" question.comment:www.metafilter.com,2012:site.119847-4562645Wed, 12 Sep 2012 16:22:38 -0800kengrahamBy: Joe in Australia
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562915
I was thinking about this while I fell asleep last night, and I started imagining a pineapple with sequences of numbers spiralling down it, with new spirals being added gradually as the pineapple broadened. The first spiral consisted of multiples of 2, the next had multiples of 3, and so on and on. The head of every spiral was a prime number, of course, and just as I fell asleep I was sure that I had worked out a method to calculate prime numbers - just look at the pineapple! The idea still seems vast and portentous as I type this but I don't think it actually makes sense. But still - look at the pineapple!comment:www.metafilter.com,2012:site.119847-4562915Wed, 12 Sep 2012 19:03:08 -0800Joe in AustraliaBy: RTQP
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4562989
i think you've accurately captured the psychedelic experience, Joe In Australia.comment:www.metafilter.com,2012:site.119847-4562989Wed, 12 Sep 2012 20:05:29 -0800RTQPBy: smorange
http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture#4564244
<i>In some places, including apparently Japan, putting your marital or family status on your CV is normal. It doesn't seem like a stretch that specifying you've never been married is common practice, though obviously someone familiar with Japanese CVs could tell us.</i>
Yup, this is a cultural thing.comment:www.metafilter.com,2012:site.119847-4564244Thu, 13 Sep 2012 11:41:36 -0800smorange