I've just started reading http://en.m.wikipedia.org/wiki/Where_Mathematics_Comes_From
It's about math as a human construction. Very comforting to see ones inner metaphores and mental models of math "legitimised" and exposed in a scientific framework. One could hope for a companion: Where Software Engineering Comes From.