Computation and the Future of Mathematics

Stephen Wolfram, creator of Mathematica and Wolfram Alpha, gives a talk about the future of mathematics and computation.