Frank Blokland is working in this direction. I don't think every aspect of typography is amenable to being reduced to a mathematical model, but some things are.

http://www.lettermodel.org