Bret Victor, a former designer at Apple, is working on a way to use a computer to make math more meaningful. I can see that he really gets the representational aspect, that the symbols are not the math, just a way to represent it, and it’s not a particularly good way to represent it. This is not the whole of math encapsulated into something that’s easy to understand (math is about assertions and inferences of relationships, which are then proved or disproved), but it’s an alternative to using symbols for representing complex relationships.
Here’s an article talking about Bret’s work on an early version of something he’s working on for the iPad.
Great stuff, and I congratulate him on finding a good use for a computer!