On the Quest for Computable Knowledge

by Stephen Wolfram

Mathematica tries to do is to imagine all possible computations that people might want to do. And then to try to identify repeated structures—repeated lumps of computational work—that exist across all those computations.