Apparently there have been some interesting advances in this area recently: http://cacm.acm.org/magazines/2014/2/171675-a-new-type-of-mathematics/fulltext http

Apparently there have been some interesting advances in this area recently: http://cacm.acm.org/magazines/2014/2/171675-a-new-type-of-mathematics/fulltext http://cacm.acm.org/magazines/2014/2/171675-a-new-type-of-ma...