Anyone interested in this stuff who hasn't read it yet should check out Bret Victor's Kill Math series of essays and explorable explanations: http://worrydream.com/#!/KillMath