http://mathoverflow.net/questions/3559/colloquial-catchy-statements-encoding-serious-mathematics

[ Why proofs are important + tutorial. ] http://jeremykun.com/2013/02/08/why-there-is-no-hitchhikers-guide-to-mathematics-for-programmers/