Интерес к научному познанию сопровождал меня с раннего детства. Отрадно было находить в научно-популярных изданиях подтверждения тому, как выявление природных закономерностей ведет к созданию инновационных приборов, разработке медикаментов и защите человечества от стихийных бедствий. Подобные достижения не могут не вызывать искреннего воодушевления.
Мой профессиональный путь сложился так, что после защиты диссертации в области теоретической физики я посвятил себя программированию. В этой сфере «научный подход» проявляется в поиске наиболее эффективных методологий, позволяющих с минимальными издержками проектировать и поддерживать программные продукты высокого качества.
Однако по мере глубокого погружения как в физику, так и в индустрию разработки ПО, я всё чаще сталкивался с засильем абсурдных догм. Многие из них не просто лишены практического смысла, но и по своей природе глубоко антинаучны.
Предлагаю проанализировать данную проблему, чтобы научиться безошибочно отделять деструктивные заблуждения от подлинно ценных знаний.
Философия
Как гласит известное изречение, в начале было слово. Позже возникли «любители мудрословия» — философы. Хотя этимологически термин подразумевает стремление к мудрости, в античные времена философом могли именовать любого, кто искусно владел речью и приемами аргументации (см. Софистика).
Для оттачивания риторического мастерства требовался колоссальный избыток свободного времени. Им обладали состоятельные граждане, избавленные от забот о выживании и материальном благополучии. Это позволяло им предаваться пространным размышлениям, зачастую совершенно не заботясь о практической применимости своих выводов.
Тем не менее, прогресс неумолим. Развитие экономических парадигм привело к трансформации общественного сознания: акцент сместился на ценность времени и продуктивность деятельности. В результате из аморфной массы философских суждений выделился научный метод, сфокусированный на прагматической ценности знаний и их реализации в материальной среде.
В современном мире наука формально отделена от философии, однако эта граница порой размыта. В высших учебных заведениях по-прежнему функционируют профильные кафедры, где под общим брендом соседствуют как строгие дисциплины, так и откровенное «словоблудие», порой приправленное теологическими вкраплениями. Символично и то, что в рамках Болонской системы выдающимся исследователям присваивается степень «доктора философии» (PhD). Впрочем, сами представители западного академического сообщества склонны воспринимать это скорее как историческую условность, нежели как сущностную характеристику.
Мы не станем углубляться в полемику о формальных критериях научного метода. Противостояние позитивизма, материализма, прагматизма и прочих «-измов» зачастую напоминает схоластические споры, далекие от сути. Наиболее универсальным мерилом научности остается именно утилитарная ценность знаний — их способность служить на благо человечества.
Достоверное знание базируется на эмпирических наблюдениях за материальной реальностью и позволяет прогнозировать природные процессы. Дисциплина же, изучающая саму суть природы, именуется
Физика
Природа многогранна и всеобъемлюща: от ритмичных колебаний маятника до катаклизмов, от динамики тектонических плит до субатомных взаимодействий. Несмотря на возможные возражения некоторых мыслителей, человек с его сложной социальной структурой также является неотъемлемой частью природного мира. С этой позиции биологию, социологию, экономику и лингвистику можно рассматривать как специализированные разделы физики в широком смысле — науки о естестве. Методология получения знаний в них идентична, и зачастую границы между дисциплинами оказываются весьма условными.
Физика глубоко прагматична. На фундаменте измерений и наблюдений выстраивается модель, позволяющая прогнозировать события и оптимизировать процессы. Критерием истины здесь выступает статистика: вероятностные сценарии оцениваются с точки зрения их достоверности. При дефиците данных исследователи прибегают к гипотезам — это естественный и необходимый этап научного поиска.
Однако исторический контекст таков, что многие первопроходцы науки видели в своих изысканиях поиск «божественных предписаний». К сожалению, когда удачная гипотеза наделяется статусом сакральной истины, опровергнуть её становится чрезвычайно сложно.
Критическая проблема возникает тогда, когда многократно повторенные предположения кристаллизуются в неприкосновенные догмы.
Примерами подобных догм стали копенгагенская интерпретация квантовой механики и общая теория относительности (ОТО). В первом случае постулируется принципиальная несводимость микромира к классическим законам без должного обоснования причинности. ОТО же, при всей своей математической элегантности, нередко вступает в противоречие с экспериментальными данными и логикой. Впрочем, научный мейнстрим часто игнорирует эти нестыковки, предпочитая использовать концептуальные «костыли» вроде темной материи или энергии, лишь бы сохранить незыблемость уравнений Эйнштейна.
В авторитетных изданиях иногда промелькивают альтернативные взгляды на квантовые явления. Но критика ОТО часто карается фактическим исключением из академической среды. Редакционная политика ведущих журналов играет роль «фильтра лояльности»: любая попытка оспорить устоявшийся канон может поставить крест на репутации ученого.
Не меньший вред наносит «желтая» научная журналистика и перекосы в системе грантов. Погоня за сенсациями заставляет финансировать исследования «горизонтов событий» или «миллисекунд после Большого взрыва», что имеет мало общего с физикой как экспериментальной наукой, зато прекрасно вписывается в господствующие догматические схемы.
В последнее время публичное пространство наполняется множеством альтернативных концепций мироустройства. Многие из них не менее логичны, чем общепринятые, поскольку и те, и другие зачастую строятся на умозрительных допущениях. Пока не сформулирована по-настоящему фундаментальная теория, способная объединить разрозненные знания, преждевременная канонизация текущих взглядов выглядит откровенно антинаучно.
В любом случае, физика во всех её проявлениях опирается на математический аппарат, к «научности» которого также возникают вопросы.
Математика
Со времен Пифагора жива установка, что математика является фундаментом мироздания. Современные адепты этой науки часто возводят её в абсолют: «Царица наук, самодостаточная в своей эстетике и не нуждающаяся в практическом оправдании».
Большинство математических трудов подчеркнуто игнорируют вопрос прикладного применения описываемых абстракций. Читателю предлагают восхититься «чистотой и красотой» форм, подменяя научную значимость эстетическим любованием. Именно это демонстративное пренебрежение пользой часто упоминается как причина отсутствия математики в списке Нобелевских премий.
Антинаучный характер идеализации математики прослеживается и в её структуре. Существует пласт конструктивной (интуиционистской) математики, где не принимаются на веру аксиома выбора или закон исключения третьего. В этом подходе доказательством считается конкретный алгоритм построения объекта. Только такая математика в полной мере отвечает критериям научной полезности.
Рассмотрим пример. Утверждение «Все кошки, которых я встречал, мне нравятся». С позиции абстрактной логики это влечет вывод: «Могут существовать кошки, которые мне не понравятся». Но какова практическая польза от гипотетического существования такой кошки? Никакой. Конструктивное же доказательство обязано было бы предъявить конкретный экземпляр «несимпатичной» кошки, исходя из заданных параметров.
Конечно, неконструктивная математика способна развивать интуицию, но лишь конечный алгоритмический результат обладает истинной научной ценностью. И именно конструктивный подход является фундаментом теории программирования.
Программирование
Программирование часто считают дочерней ветвью математики. Мне же ближе понимание его как раздела прикладной физики, поскольку оно нацелено на решение конкретных задач в материальном мире. Парадокс заключается в том, что многие специалисты в этой области вообще отказывают своей деятельности в научности, ограничиваясь набором готовых рецептов и «лучших практик».
Когда критическое мышление отходит на второй план, в игру вступают маркетологи. Так рождаются антинаучные догмы: броские аббревиатуры (вроде SOLID) и агрессивно насаждаемые парадигмы (вроде ООП), за которыми стоят интересы крупных корпораций. В условиях мощного информационного давления у рядового разработчика часто не остается иного пути, кроме как безоговорочно следовать авторитетным мнениям.
Коммерческая экспансия идей имеет долгосрочные последствия: под сомнительные концепции перестраиваются образовательные программы и процессы найма. В итоге индустрия оказывается заложницей маркетингового успеха техник, которые зачастую лишь усложняют разработку, превращая любой проект в громоздкое «legacy» за считанные месяцы.
Безусловно, не все популярные идеи бесполезны, но их агрессивное навязывание без глубокого анализа тормозит становление программирования как строгой науки.
А ведь программирование — это именно наука. Оно оперирует инструментами математической логики для автоматизации управления информационными потоками. Ключевую роль в обеспечении надежности и выразительности кода играет полиморфное типизированное лямбда-исчисление. Эта дисциплина формализует принципы корректности алгоритмов, предлагая лаконичные и фундаментальные абстракции. В этом контексте конструктивный подход оказывается неизмеримо продуктивнее классической теории множеств.
К сожалению, груз накопленных догм мешает сообществу сфокусироваться на действительно эффективных и научно обоснованных методах разработки.
Заключение
Подлинная научность идеи определяется её верифицируемой пользой. К сожалению, сегодня под маской науки популяризируется множество пустых концепций, которые со временем превращаются в догмы, препятствующие развитию.
В этих реалиях наша задача — сохранять остроту критического восприятия. Важно принимать решения, опираясь не на громкие имена и авторитетные мнения, а на глубокие знания и реальный опыт, передавая этот подход следующим поколениям.
