Towards a New Philosophy of Mathematics