tag:blogger.com,1999:blog-3722233.post5719664536220380919..comments2023-03-27T02:45:06.501-05:00Comments on Computational Complexity: If you think a theorem is true then spend half your time trying to prove its true, and half trying to prove its false.Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-3722233.post-63367291306525617222018-12-05T19:24:48.832-06:002018-12-05T19:24:48.832-06:00@Jake, No. If there is a counterexample, then a tr...@Jake, No. If there is a counterexample, then a trivial computer program will find it in finite time depending on the computational resources (which might be available tomorrow, but not today).Diveshhttps://www.blogger.com/profile/03199525318560734147noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-75268541368286312182018-11-27T02:37:40.435-06:002018-11-27T02:37:40.435-06:00@ryan o'donnell: have heard great many stories...@ryan o'donnell: have heard great many stories about Manuel Blum. One day, he started to keep remembering digits of pi, by the next day he remembered the first 30, the next week, he remembered almost 1000 digits. Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-49567084466097073252018-11-27T01:41:05.644-06:002018-11-27T01:41:05.644-06:00I heard "prove by day, disprove by night"...I heard "prove by day, disprove by night" during my PhD studies. A cursory Google search points to Jordan Ellenberg's book "How not to be wrong," where he acknowledges hearing this from his PhD adviser, but calls it "a common piece of folk advice" without identifying a definitive source.Dustin Mixonhttp://dustingmixon.wordpress.comnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-1079324037347594142018-11-26T10:33:18.086-06:002018-11-26T10:33:18.086-06:00If there were a counterexample to Goldbach that di...If there were a counterexample to Goldbach that didn't "require hard math" wouldn't it have been found by now? Jakehttp://wikipedia.orgnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-61852368067069005342018-11-26T10:25:44.887-06:002018-11-26T10:25:44.887-06:00Thanks for the correction- I have made it.
If you ...Thanks for the correction- I have made it.<br />If you google "Goldback's conjecture" you get 212 hits<br />If you google "Goldbach's conjecture" you get 105,000 hitsGASARCHhttps://www.blogger.com/profile/03615736448441925334noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-81516100913569598732018-11-26T10:16:06.798-06:002018-11-26T10:16:06.798-06:00Goldbach*Goldbach*Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-81314866459206800052018-11-26T07:07:22.413-06:002018-11-26T07:07:22.413-06:00Manuel Blum has a quotation like that, though I th...Manuel Blum has a quotation like that, though I think his counsel only involves one day a month trying to prove it's false.Ryan O'Donnellhttp://youtube.com/ryanodonnellteachingnoreply@blogger.com