This reminds me of what Stephen Wolfram was going on about in this blog post: http://blog.stephenwolfram.com/2014/08/computational-knowledge-and-the-future-of-

This reminds me of what Stephen Wolfram was going on about in this blog post: http://blog.stephenwolfram.com/2014/08/computational-knowledge-and-the-future-of-pure-mathematics/ http://blog.stephenwolfram.com/2014/08/computational-knowled...