How can this be true? In technological spaces we cannot depart too much from previous technology if our production is to be understood and our efforts funded. So technology too is somewhat limited to incremental changes. We do not sample the entire computational universe but only that part of it that is not too far away from what has already been sampled.

]]>Similarly, for ‘curating knowledge’ in order to incorporate it for Wolfram Alpha searches. Sounds great, and I understand there’s a proprietary aspect of it. But isn’t there a way of experimenting with this idea, on a different scale?

I mean, all we have nowadays is this promotion of the ‘semantic web’ and various kinds of ontology systems. But for all the hype, I don’t see any knowledge databases, aside from search engines like Google and Wolfram Alpha, which have proven very useful.

HOW? How do we search for usable programs, and how do we curate & package knowledge?

]]>Perhaps he could start with provers that handle plane geometry, and then eventually expand even to differential and algebraic geometry.

Once we have a program capable of attacking hard conjectures in algebraic geometry, it will be the beginning of the end of higher mathematics (the institution). Mathematicians everywhere would start to seriously…

]]>http://www.themorgandoctrine.com/2012/05/stephen-wolframs-nks-holds-key-to-black.html ]]>

Great, so we’ll finally run linux on a potato… oh, wait!

]]>Oh, my kingdom for the correct pattern.

]]>