Quest for Computable Knowledge

Stephen Wolfram posts a short timeline of a Quest for Computable Knowledge. Certainly some interesting mentions. Includes things like Wolfram's New Kind of Science (NKS). That thick work is intriguing, but I have yet to see any proof it has led to any science. So is this immodestly premature? In his latest piece on the WolframAlpha project he seems to be saying that this system will be implemented using NKS concepts. Is all useful knowledge computable? In the early AI days it was suggested that formal logical reasoning could solve real problems. That did not work. Does computation help or just extend the realm of our knowledge generation only slightly? Awaiting the mid May release.