tag:blogger.com,1999:blog-3722233.post5246892705611455093..comments2020-05-31T01:14:25.681-04:00Comments on Computational Complexity: Looking forward to the GI resultLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-3722233.post-54772247619966187082015-11-11T11:05:06.880-05:002015-11-11T11:05:06.880-05:00I would suggest a fourth parameter for the claimed...I would suggest a fourth parameter for the claimed proves of really hard problems like the NP vs P question.<br />4)Is there some really novel idea involved in the proof? <br />If the proof reuses only old ideas that have been studied exhaustively it is hard to have produced somthing new and novel.Pantelis Rodishttps://www.blogger.com/profile/11999985308984556045noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-45569777400055365362015-11-10T07:47:45.769-05:002015-11-10T07:47:45.769-05:00--------
GASARCH recommends to ask:
(1) Who is ma...--------<br /><b>GASARCH</b> recommends to ask: <br />(1) Who is making the claim?,<br />(2) How likely is the claim to be true?<br />(3) How likely is the claim to be provable <br /> with what is known today?<br />--------<br />In regard to (1) and (2), the morphism Babai/isomorphism ⇔ Mochizuki/IUTT(abc) is reasonably exact, but with regard to (3) the situation is <i>totally</i> different.<br /><br />It will be a considerable surprise (to many, including me) if Babai's proof-methods are not immediately grasped by his audience … whereas even the most expert mathematicians find Mochizuki's proof-methods to be confounding.<br /><br />That is why this week's <b><a href="http://people.cs.uchicago.edu/~laci/quasipoly.html" rel="nofollow">Babai lectures</a>,</b> and next month's <a href="http://www.claymath.org/events/iut-theory-shinichi-mochizuki" rel="nofollow"><b>Mochizuki/IUTT(abc) conference</b></a>, which individually are wonderfully interesting, are jointly (by their mathematical contrast) even <i>more</i> wonderfully interesting.John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.com