Historie matematické lingvistiky