Великий лингвист Андрей Анатольевич Зализняк в § 2.3–2.4 своего классического труда «Русское именное словоизменение» уточнил конструкцию Колмогорова и переложил её на более наглядный и более понятный его коллегам язык. А в § 6.20 названного труда читателя встречают три теоремы. Формулировки и доказательства их совершенно математические. Теоремы эти нужны их автору для обоснования того, что предложенный им способ описания устройства ударения в парадигмах русских существительных оптимален. Понятия предыдущей фразы нуждаются в разъяснении. Парадигмой данного слова называется совокупность всех его словоформ. Каждому слову соответствует определённое распределение ударений по его парадигме; это распределение называется схемой ударения рассматриваемого слова. Схем ударения (особенно с учётом форм множественного числа) несколько десятков, и они довольно разнообразны. Желательно найти способ их описать наиболее экономно. Вот Зализняк с помощью своих теорем и устанавливает, что способ, который он предлагает, является наиболее экономным. Предложенный Зализняком способ основан на введённом им новом понятии – понятии условного ударения. Поясним на примере. Во всех косвенных падежах слова
Математика нужна в лингвистике всюду: и в фонетике, где звуки описываются некими графиками и математическими формулами; и в синтаксисе, где синтаксическая структура описывается некоторой геометрической картинкой; я уж не говорю о всевозможных современных поисковых системах. Когда вы что-то ищете в «Яндексе» или в Google, то там применяются очень тонкие современные методы лингвистики (в частности, разработанный Зализняком способ описания системы словоизменения), лингвистические алгоритмы представления синтаксической структуры предложений и, что очень важно, лингвистическая статистика. Без неё развитие лингвистики весьма затруднительно, так как совершенно ясно, что нужно понимать, что встречается часто, а что – редко, а для этого очень важно понимать, что именно мы считаем.