tag:blogger.com,1999:blog-3722233.post4253543466007246425..comments2020-02-18T08:01:37.744-05:00Comments on Computational Complexity: That P ne NP proof- whats up with that?Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger14125tag:blogger.com,1999:blog-3722233.post-10582733679793646412010-08-21T02:00:38.440-04:002010-08-21T02:00:38.440-04:00http://scottaaronson.com/blog/?p=456#comment-45277...http://scottaaronson.com/blog/?p=456#comment-45277<br /><br />Ahmet Canbolat comments---<br />Also, I seriously condemn Turkish academic society for turning Turkish higher education sytem into a crap and corrupt environment, consisting of only vomiting the information you memorized in lectures into paper. Is there any one aware of this from Turkish math and CS scientists.<br />---<br /><br />Indian education is same thing.<br />Vinay Deolalikar vomited the information he memorized in 20 years of lectures in India and in extremely respectable Indian Institute of Technology into his paper(s).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-83840140820801771112010-08-21T01:56:22.678-04:002010-08-21T01:56:22.678-04:00http://www.deccanherald.com/content/66125/den-corr...http://www.deccanherald.com/content/66125/den-corruption.html<br /><br />http://www.livemint.com/2009/09/13230728/Bribery-delays-underline-need.htmlAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-31550615337609317862010-08-11T05:39:05.948-04:002010-08-11T05:39:05.948-04:00I like the idea of "what if"I like the idea of "what if"AnaVarhttp://www.mypharmashop.com/noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-71066860572895746522010-08-11T04:02:39.705-04:002010-08-11T04:02:39.705-04:00Huh? What does Dr. Kamouna has to do with anythin...Huh? What does Dr. Kamouna has to do with anything here?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-4023595433549473222010-08-11T00:09:10.247-04:002010-08-11T00:09:10.247-04:00http://www.saudigazette.com.sa/index.cfm?method=ho...http://www.saudigazette.com.sa/index.cfm?method=home.regcon&contentID=2008062910436Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-39949620813553673902010-08-10T13:04:17.424-04:002010-08-10T13:04:17.424-04:00I bet most of the fun of the P=NP chapter will sti...I bet most of the fun of the P=NP chapter will still be there if you allow for practical nondeterministic machines (perhaps some quantum hand waving?). For instance, you'd still have perfect speech recognition, and rapid proof generation.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-54662157479793162732010-08-09T22:29:22.760-04:002010-08-09T22:29:22.760-04:00http://rjlipton.wordpress.com/2010/08/09/issues-in...http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%E2%89%A0np/<br /><br />http://geomblog.blogspot.com/2010/08/on-deolalikar-proof-crowdsourcing.htmlAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-67986167902887652952010-08-09T20:41:35.238-04:002010-08-09T20:41:35.238-04:00Alarm bells went off in my head when he started ta...Alarm bells went off in my head when he started talking about physics and statistics.Xamuelhttp://www.xamuel.com/category/math/noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-16249924527843693822010-08-09T16:04:49.115-04:002010-08-09T16:04:49.115-04:00100+ pages, this is a full proof attempt, defining...<i>100+ pages, this is a full proof attempt, defining and explaining the prior work on which it is built. Are your thoughts on Wiles' proof the same at a glance?</i><br /><br />I disagree. <br /><br />1. The paper is only ~60 pages (in 11pt font and standard margins). <br /><br />2. The prior work is not explained in a sufficiently rigorous manner. A random example: a theorem of Immerman and Vardy (Theorem 3.14) is stated. It uses the term "query". However, the notion of "query" is not defined in the paper. (Correct me if I'm wrong here.) Also, the text is full of verbal explanations, but seems to lack in definitions. (I'm not trying to play the paper down, I'm just describing my concerns.)<br /><br />3. I'm not working in number theory. So I can't say anything about Wiles' paper. But I'm familiar with contemporary complexity theory, and this paper doesn't seem rigorous enough. This doesn't say it is wrong of course.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-59143332164556359392010-08-09T15:25:19.850-04:002010-08-09T15:25:19.850-04:00Most of the text is dedicated to known definitions...<i>Most of the text is dedicated to known definitions and restating known theorems. I haven't seen much of a "proof" work there.</i><br /><br />100+ pages, this is a full proof attempt, defining and explaining the prior work on which it is built. Are your thoughts on Wiles' proof the same at a glance?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-37755074288146478012010-08-09T15:23:20.901-04:002010-08-09T15:23:20.901-04:00Rather than pontificate, why don't you just re...<i>Rather than pontificate, why don't you just read the proof already?</i><br /><br />Why don't YOU read the proof if you care so much. I doubt Bill wants to proofread yet another attempt, especially when there are others out there who clearly will.<br /><br />Bill posted information for the readers in case anyone had not heard about it and linked to two discussions that he feels are worthwhile. I thank him for that.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-23190283307931082002010-08-09T15:18:11.182-04:002010-08-09T15:18:11.182-04:00A "what if P=NP" chapter seems like it w...A "what if P=NP" chapter seems like it would still be interesting. Maybe just change it to a "what if P had been equal to NP" like a comic book "what if" story.<br /><br />An undergradutate algorithms course wouldn't change much. Understanding what NP and NPC are still matters. You lose a few minutes of "what if they are the same" talk. If you do approximation algorithms, they are just a tiny bit more important perhaps.<br /><br />I was told once, in song, something to the effect that if you proved P was NP tonight, there would still be papers left to write. Is there a song for "P wasn't NP"?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-33261433495020472622010-08-09T13:25:34.832-04:002010-08-09T13:25:34.832-04:00Glancing on the paper I would say that the "p...Glancing on the paper I would say that the "proof" doesn't seem rigorous enough. <br />Most of the text is dedicated to known definitions and restating known theorems. I haven't seen much of a "proof" work there.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-27318464759876507762010-08-09T12:52:17.320-04:002010-08-09T12:52:17.320-04:00Rather than pontificate, why don't you just re...Rather than pontificate, why don't you just read the proof already?Anonymousnoreply@blogger.com