摘要:Resumo: Este artigo relata os caminhos históricos da matemática e da lin-güística, focalizando a formalização como ponto de intersecção entre as mesmas. Nas duas disciplinas, a formalização não foi ca-paz de eliminar as ambigüidades inerentes à utilização concreta de seus objetos, não obstante tenha sido a utilização de mecanismos da matemática formal pela gramática gerativo-transformacional de Noam Chomsky critério de cientificidade para a lingüística. Abstract: This article focuses the formal approach as a historical point of in-tersection of both mathematics and linguistics. In both disciplines, the formal approach were not be able to eliminate the inherent am-biguities of the concrete employment of their objects, despite the employment of the formal mathematics by Noam Chomsky's gene-rative-transformational grammar was the criterion for linguistics to be recognized as a Science.