[snooblywoobly]

You're analogy may be a nice one, but I don't feel this detracts from the details of the piece. I am a professional developer and have a MSc in Mathematics yet the maths in this article is at the very upper reach of what I can understand. Terence Tao is, by most accounts, a brilliant mathematician, with both clarity of vision and nitty gritty technical excellence. Sometimes different disciplines talk of the same things in different languages, it's true, but to declare that the description in your discipline trumps that of another's before you understand both in detail is miss-guided.

[evincarofautumn]

I didn’t mean to come off as elitist or anything. It’s definitely interesting to see the line of thinking, and to learn about the formalisms used along the way. But it would benefit, in my mind, from a stronger conclusion: “Look at this system I have derived for physics, using pure mathematics. Observe all its glorious juicy detail. Now look at how elegantly I can express it using type theory.”