The Mathematics of English and the English of Mathematics

More coming soon, but for now, here's the material from my talk:

• My Talk Slides (633KB)
• The Original Rooter, by Jeremy Striblin, Danial Aguayo, and Maxwell Krohn
• The Grothendieck-Feynman Theorem, by Cam McLeman

For a understanding of these last two links, you'd better check out the SCIgen homepage, whose program I modified to generate random first pages to mathematical pseudo-papers, with semi-realistic equations.
Also fun is the following list of randomly generated (using a modified version of this name generator and the database of PlanetMath ) non-words that somehow manage to sound like mathematical words and concepts:

• stative
• topolating
• arcsecture
• multiproxima
• ality
• recurtisymmeter
• broid
• squatic
• equirectal
• anality

Finally, I'll include the sentences "randomly" generated by various N-gram approximators I was able to find on the web:
Using a Unigram Model

• Its retained taken they yields solution as objects its skew velocity lemmas.
• On permutations Tannaka considering had can relation Brauer conversely already.

Using a Bigram Model

• Two structures, that means to zero rationals reals.
• Italian and group with characteristic $p$.

Using a Trigram Model

• Group theory allows for the these systems and many others to be an arbitrary field.
• With the intrinsic view was developed, in which taking fails to be include familiar number systems, such as the Langlands philosophy, which meant that L-functions were a vengeance.
• A lattice is a price to pay.
• Flat cohomology, crystalline successors are also important tools for studying symmetry in forms; the principle that the first cohomology the additive group of L will vanish; this is a group under the addition.