Coincidentally, I was reading this Wolfram post on much the same topic & point just this morning: http://blog.stephenwolfram.com/2014/08/computational-knowledge

Coincidentally, I was reading this Wolfram post on much the same topic & point just this morning: http://blog.stephenwolfram.com/2014/08/computational-knowledge-and-the-future-of-pure-mathematics/ http://blog.stephenwolfram.com/2014/08/computational-knowled...