There was an interesting thesis about analyzing the natural language used in writing mathematics, that seems a bit relevant to this discussion. The thesis is no longer on line but some info about it is here: http://people.ds.cam.ac.uk/mg262/ I forgot where I got that link from, but it was another MO thread a while back.