Случайные открытия, изменившие мир!
Случайные открытия, изменившие мир! Эксперт Президентской академии Татьяна Подольская продолжает цикл «Случайные открытия, изменившие мир». Она разбирает истории открытий и смотрит на них глазами экономиста. Индия: искали правила произношения мантр, а нашли алгоритмы, на которых стоит цифровой мир IV век до н.э., Северная Индия. Веды передавались устно, и ошибка в произношении считалась порчей мантры. Требовалось описание звуков, их сочетаний и порядка - без потерь и двусмысленности. Паньини написал «Аштадхьяи»: 3 959 правил фонетики, морфологии и синтаксиса санскрита. Это первая в истории формальная система - полная, непротиворечивая, вычислимая. Правила задавались как операции: примени А, затем Б, получи В. Сокращения, переменные, рекурсия - приёмы современного языка программирования. Две с половиной тысячи лет до компилятора Сначала «Аштадхьяи» — учебник для жрецов. Через арабских и персидских филологов отголоски доходят до Европы, но саму систему там открывают только в XIX веке: Франц Бопп и Отто Бётлингк обнаруживают, что она формальнее всего созданного европейской наукой до XX века. Паньини не описывал язык — он строил его как математическую структуру, с метаправилами, приоритетами операций и контекстно-зависимыми преобразованиями. В XX веке Ноам Хомский строит на этих принципах теорию порождающих грамматик. В 1960–70-е годы форма Бэкуса-Наура задаёт синтаксис языков программирования по той же логике: последовательность правил, рекурсия, контекст. Почему не раньше Между «Аштадхьяи» и её превращением в основу компьютерных языков — 2 500 лет. В Индии грамматика была ритуальной дисциплиной: её задачей было сохранить текст, а не построить машину. В Европе лингвистика оставалась описательной. Формальный подход понадобился тогда, когда появился адресат, понимающий исключительно формальности, — компьютер. Тогда и выяснилось, что язык человека и язык машины описываются одними и теми же правилами. Вывод для экономиста Компилятор разбирает код так же, как жрец разбирал мантру: токенизация, синтаксический разбор, рекурсивный спуск. Самым долгоживущим продуктом оказывается не устройство, а формальное описание — способ задать правила работы системы. Паньини не построил компилятор, он создал грамматику, при которой компилятор стал возможен. Решая конкретную задачу, легко изготовить инструмент для задач, которых ещё не существует. #Академия_Наука #Десятилетиенауки