tag:blogger.com,1999:blog-3722233.post4415525277627371603..comments2022-12-02T17:41:58.702-06:00Comments on Computational Complexity: Two Theorems this blog missedLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-3722233.post-17654877305050972542010-01-23T11:03:48.550-06:002010-01-23T11:03:48.550-06:00"When it was checked this year (2009) and fou..."When it was checked this year (2009) and found to be correct, mathematicians around the globe breathed a sigh of relief."<br /><br />This a typical misrepresentation in popular media of how mathematics (and science in general) works in practice. In reality, there is no "eureka" moment. It is not that the opinion of the experts about this proof in 2009 is drastically different than their opinion in 2008 or 2007. Acceptance of the paper in the Annals is also no fool-proof guarantee of its correctness. The confidence in such a result builds up over time and is more of a social process. It certainly does not have a sharp threshold that the article is suggesting.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-16929303559005268652010-01-21T09:49:47.186-06:002010-01-21T09:49:47.186-06:00It was proved in 2004 and appeared in 2009 in Anna...It was proved in 2004 and appeared in 2009 in Annals of MathematicsAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-86519872591988312992010-01-20T15:04:45.898-06:002010-01-20T15:04:45.898-06:00Note also: if N ≥ 4 and N is even, then both get t...Note also: if N ≥ 4 and N is even, then both get the same amount. Which is not obvious to me.Chad Groftnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-83852564289688660792010-01-20T11:23:05.455-06:002010-01-20T11:23:05.455-06:00The article in TIME
(reliable?) said
"When i...The article in TIME<br />(reliable?) said<br /><br />"When it was checked this year (2009) and found to be correct, mathematicians around the globe breathed a sigh of relief."<br /><br />So ANON 1- you are CORRECT<br />that its was proven in 2004.<br />It was verified in 2009.<br />Which is the proper date to give it?GASARCHhttps://www.blogger.com/profile/06134382469361359081noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-51035281916603058972010-01-20T11:01:54.671-06:002010-01-20T11:01:54.671-06:00The fundamental lemma was proved in 2004.The fundamental lemma was proved in 2004.Anonymousnoreply@blogger.com