Mathematics and Natural Language Processing