¿Existe el álgebra aplicada al lenguaje natural como disciplina académica derivada de la matemática en la carrera de matemáticas?

Algunos matemáticos han dedicado un tiempo importante a los lenguajes formales, en particular al lenguaje de la lógica y han hecho trabajos notorios y muy interesantes. Como disciplina el análisis de los lenguajes naturales, su combinatoria y propiedades es algo que de hecho nació sólo en el siglo XX. En su trabajo sobre lógica, George Boole pasó de la lógica proposicional elemental (lógica de orden cero), aun cuando el relacionaba su trabajo con el propio pensamiento informal humano, así lo sugiere su obra The Laws of Thought.

Pero las lenguas naturales han escapado una y otra vez a un análisis matemático serio, yo mismo soñé en dedicarme por un tiempo a eso, sabía unas cuantas cosas de lingüística y muchas cosas sobre matemáticas. Hay algunas conexiones entre teoremas de codificación óptimas y estructuras gramaticales posibles, que siguen inexplorados hasta que alguien de con una idea prometedora (vislumbré algunas direcciones pero no tengo ni el tiempo ni el entusiasmo de volver a eso). También las propiedades matemáticas de la entropía y la redundancia son interesantes. Pero hasta donde he podido ver lo que se ha publicado sobre ese tipo de temas, es decepcionantemente árido y poco interesante. El análisis de lenguajes formales ha prosperado, pero el uso de matemáticas de forma no estadística aplicada a las lenguas naturales no ha acabado de despegar.

Actualmente un área de investigación interesante, aunque en mi opinión poco prometedora, es el análisis sintáctico automático [o el intento de que un ordenador analice sintácticamente oraciones antes de traducirlas a otro idioma, es decir, que “entienda” un poco de su estructura]. Google translator se quedaba muy atrás en eso, DeepL es un buen traductor pero se basa en redes neuronales no tanto en el análisis propiamente lingüístico de las oraciones, así que me imagino que en los próximos años habrá más imitaciones de DeepL que harán que se pierda el interés en las máquinas capaces de analizar las estructuras lingüísticas.