В контексте всеобщего восторга способностями «ИИ-агентов» «заменять» «программистов» мне пришлось недавно провести политинформацию для трудящихся на производстве и объяснить, что же происходит. Само собой, оказалась очевидной связь с историей Холодной войны, но объяснять её трудящимся было бы излишне. Не в коня корм.
Я рассказал трудящимся, что раздутые штаты «программистов», заменяемые сейчас языковыми моделями, появились по очень простой причине: недофинансирование исследования новых языков программирования и недофинансирование их последующего внедрения. Инновации в «промышленном» программировании остановились в 1990х годах.
(Многим работающим «программистам» очень тяжело слышать, что они построили карьеру на тупом переписывании портянок и не выработали каких-то фундаментальных навыков. Кто-то злорадствует по этому поводу и говорит, что надо было учиться продажам или, там, слесарному делу, а я, наоборот, сочувствую тем, кого 30 лет обманывали о том, что же такое «программирование». Но учиться никогда не поздно!)
Почему так получилось? Моя гипотеза: перекрыли родник выше по течению. 20 век шел так: философия языка → формальная логика и основания математики → языки программирования и автоматизация рассуждений. В 1960х гг. философия языка начала стагнировать, и к 1970х гг. умерла как актуальная область знания. В моду вошла философия сознания.
К 1990м гг. в мейнстриме не осталось никаких прикольных философских персонажей, занимавшихся проблемами языка. В то же время, Дэвид Чалмерс носил крутую кожаную куртку и играл в рок-группе, поэтому несмотря на «зиму искусственного интеллекта», работа над нейросетями продолжалась и дожила до эпохи бесплатных денег. Теперь в крутую кожаную куртку нарядили непосредственно «китайский мозг» (Дженсена Хуаня).
Как так вышло, что к концу 1960х-началу 1970х гг. философия языка вымерла? Очень просто — эрл Рассел, который курировал этот балаган, был очень стар и в 1970 г. умер, а с ним и его организация. Его протеже и учеников его протеже убрали в коробку как убежденных коммунистов по обоюдному в рамках англо-американского перемирия-«детанта».
Дам очень четкую иллюстрацию к случившемуся. Одной из центральных тем философии языка является рекурсия и самоотносимость (т.н. «парадокс Рассела»). В математике есть понятие неподвижной точки, которое часто используется при моделировании рекурсии. Есть несколько теорем «о неподвижной точке», одну из которых открыл Ловер, академический «внук» Рассела (через Тарского), основавший категорную логику и теорию топосов, на которых основаны языки с т.н. зависимыми типами.
Ловер был открытым марксистом-ленинистом и на протяжении десятилетий стремился связать теорию категорий с материалистической диалектикой. Так, он считал (и писал в реферируемых статьях!), что закон единства и борьбы противоположностей соответствует понятию сопряженных функторов. Само собой, после смерти Рассела оказывать протекцию таким мыслителям в США было уже некому.
После маргинализации актуальных исследований формальной логики и языков програмирования в США работа продолжалась в Европе, особенно в Шотландии и в Нидерландах, но американской компьютерной индустрии она была, по большому счету, до лампочки. Впрочем, марксистско-ленинистские теоретики языка имели ограниченный успех в последние 10-15 лет по ту сторону Атлантики, пытаясь пробиться по каналам «воукизма».
(Когда говорят, что пишущие на Расте должны подводить губы и ресницы, принимать гормоны и носить чулки в крупную сетку, это не шутка. С линией партии не поспоришь.)
Меня не оставляет ощущение, что нынешняя ситуация вокруг «ИИ» очень похожа на конец 1960х гг. Философии сознания в современном понимании уже около 60 лет, как было философии языка тогда. Новых сильных мемов в последние годы нет (хотя я, конечно, не специалист и полагаюсь только на обзоры литературы), и кожаные куртки начали носить китайцы, что понижает их крутость примерно до нуля.
