Brett Victor, in Kill Math
Read the fine article; Brett talks about changing the user interface (symbolic, abstract manipulation) of mathematics. He compares multiplication of Roman numerals (very hard) to multiplication of Arabic numerals (0-9, much easier) as an example of a state change in the UI of mathematics. See what good it did for us? He hopes to do the same with the way we currently think about and use maths.