tag:blogger.com,1999:blog-3722233.post1530081390372684918..comments2023-10-04T12:06:12.244-05:00Comments on Computational Complexity: Wolfram Prize won!- There IS a (2,3)-UTMLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-3722233.post-44982912544563238412007-11-02T12:45:00.000-05:002007-11-02T12:45:00.000-05:00The market has spoken ? I frankly don't think so. ...The market has spoken ? I frankly don't think so. And if it did, it certainly never spoke of "important result".<BR/><BR/>There might be bugs in the proof.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-5257580379832570722007-10-31T21:06:00.000-05:002007-10-31T21:06:00.000-05:00Another link, discussion from the FOM mailing list...Another link, discussion from the FOM mailing list, apparently some people think the proof is invalid<BR/>http://cs.nyu.edu/pipermail/fom/2007-October/thread.html#12156Yaroslav Bulatovhttps://www.blogger.com/profile/06139256691290554110noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-60162647084736868112007-10-29T14:29:00.000-05:002007-10-29T14:29:00.000-05:00Chad Brewbaker said......Using Diophantine equatio...Chad Brewbaker said...<BR/><BR/><I>...Using Diophantine equations as the target for a compiler is a cool idea. Has anybody ever actually implemented one?</I><BR/><BR/>Yes, compiling to a diophantine equation solving machine is a -totally- cool idea. Sorry, a virtual machine, because frankly I don't know of any hardware implementations for solving integer equations of that kind.<BR/><BR/>For that matter, I'm sure there are all sorts of compilers to Turing machines but I don't see them being used.<BR/><BR/>I have a feeling that maybe LISP/Scheme is compiled to ...um...LISP, and that Haskell is compiled to combinatory (SKI) logic, but that's as far as theoretical machines connect with real ones that I can think of.Mitchhttps://www.blogger.com/profile/06352106235527027461noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-85535193651285771012007-10-26T12:23:00.000-05:002007-10-26T12:23:00.000-05:00NKS is a good coffee table book. It does a good jo...NKS is a good coffee table book. It does a good job of introducing the concept of a universal computing machine and how simple they can be. The thing I liked most from the book was the description of Matiyasevich's work on solving Hilbert's 10th problem. Using Diophantine equations as the target for a compiler is a cool idea. Has anybody ever actually implemented one?Chad Brewbakerhttps://www.blogger.com/profile/10443154815748267611noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-6420358742923163752007-10-25T14:36:00.000-05:002007-10-25T14:36:00.000-05:00"Given the rather negative reviews that Wolfram's ..."Given the rather negative reviews that Wolfram's NKS book received, can someone explain why there are so many citations to it?"<BR/><BR/>Bad publicity is still publicity.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-64091856952727998292007-10-25T14:11:00.000-05:002007-10-25T14:11:00.000-05:00Given the rather negative reviews that Wolfram's N...Given the rather negative reviews that Wolfram's NKS book received, can someone explain why there are so many citations to it?<BR/><BR/><A HREF="http://scholar.google.ca/scholar?hl=en&lr=&cites=3139230665686742056" REL="nofollow">http://scholar.google.ca/scholar?hl=en&lr=&cites=3139230665686742056</A>Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-23992769997546081082007-10-25T13:49:00.000-05:002007-10-25T13:49:00.000-05:00Yes, the millennium problems are worth $1,000,000 ...Yes, the millennium problems are worth $1,000,000 because of the immediate utility that their solutions would provide. <BR/><BR/>Its nice that in the Nature article, they interviewed both Scott Aaronson and Lenore Blum.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-88252041755486880162007-10-25T13:40:00.000-05:002007-10-25T13:40:00.000-05:00The market has spoken, the result is important.You...<I> The market has spoken, the result is important.</I><BR/><BR/>You are confused. Money is a measure of utility, not of importance, scientific relevance, beauty, happiness, moral value or intelligence.Anonymousnoreply@blogger.com