It's taken a while, but we’ve made a little progress on the mathesis universalis that Leibniz envisioned 300 or so years ago – a mathematical language describing the world so perfectly that any ...