The Two Cultures of Mathematics .