>>12431625Yeah, although the overlap is more so with theoretical computer science than pure math. The area where this overlap is most apparent is probably categorial grammar, formal semantics, and other linguistic formalisms that involve the analysis of either intensionality or the syntax/semantics interface. These areas of linguistics tend to involved a lot of type theory and subtle concerns about variable ningind and quantifier scope.
Also it doesn't involve the study mathematical properties of language itself, but rather the usage of mathematics to understand language more generally speaking, but there are a lot of applications of statistics, computational modeling, and game theory in the study of historical linguistics, sociolinguistics, and pragmatics (all of which are areas that focus on the cultural and intersubjective properties of language).
