I've been reading Good Math, Bad Math for a while now, and it has a fair number of interesting posts on it. Today I read Why so many languages? Programming languages, Computation, and Math. (a followup to Type Checking in Programming Languages ) As a