Wolfram Alpha
The vision seems to be to create a system wich can do for formal knowledge (all the formally definable systems, heuristics, algorithms, rules, methods, theorems, and facts in the world) what search engines have done for informal knowledge (all the text and documents in various forms of media).So which will be a bigger let down, Wolfram Alpha, or Cuil?
