This presentation is based in part on the TED talk Conrad Wolfram gave a couple of years ago, and on some insights gained at the Computer Based Math summit I attended in November. The below presentation is slightly abreviated to make it easier to share on the web.