tag:blogger.com,1999:blog-3722233.post8481902663870246137..comments2024-03-27T19:58:17.387-05:00Comments on Computational Complexity: From Art to ScienceLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-3722233.post-7799600345799176762018-01-28T21:57:13.820-06:002018-01-28T21:57:13.820-06:00'If mathematics ever became automated it would...'If mathematics ever became automated it would be a whole lot less fun'<br /><br />This is so not true. I find automated (partially at least) formal proofs to be so much fun that I need to be really careful not to get addicted to it. Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-3089635712290652052018-01-27T18:35:48.923-06:002018-01-27T18:35:48.923-06:00Ellsworth Kelly and Mark Rothko over-glorified col...Ellsworth Kelly and Mark Rothko over-glorified color/texture swatches are art. Proofs are science. Were they ever subjective?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-83469310019347876612018-01-27T06:12:23.279-06:002018-01-27T06:12:23.279-06:00This comment has been removed by the author.Anonimohttps://www.blogger.com/profile/01360323045834441297noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-66657449694229065492018-01-26T14:12:57.928-06:002018-01-26T14:12:57.928-06:00Crytography took thousands of years to get from an...<em> Crytography took thousands of years to get from an art to science, hopefully we can get there faster for machine learning. </em><br /><br />I guess you meant "hopefully we can get there faster for <em>neural networks</em>". Machine learning as a whole has pretty strong scientific foundations. Piotrhttps://www.blogger.com/profile/13283386044289655376noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-21443899730571483832018-01-26T11:23:04.402-06:002018-01-26T11:23:04.402-06:00"Proving theorems in mathematics is an art mo...<i>"Proving theorems in mathematics is an art more than a science."</i><br /><br />Just wait til AlphaZero (or somesuch) is turned on it...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-6129515701551916692018-01-26T10:59:15.966-06:002018-01-26T10:59:15.966-06:00Is science an art?Is science an art?Anonymousnoreply@blogger.com