Тут меня посетила идея. Все мы учим геометрию по учебникам, которые базируются на аксиомах из «Начал» Евклида, и склонны считать, что благодаря этим аксиомам возникли прекрасные геометрические формы зданий – от жилых домов до соборов; думать обратное – ересь. Я сразу предположил, что древние заинтересовались евклидовой геометрией и прочей математикой лишь после того, как уже испытали методы, выработанные прилаживанием и опытом, иначе все эти аксиомы были бы им не нужны. Похожее произошло с колесом: вспомним, что паровой двигатель греки придумали и сконструировали за две тысячи лет до индустриальной революции. Технические инновации рождаются из практики, а не из теории.
Взгляните теперь на окружающие нас архитектурные объекты: они кажутся геометрически совершенными, от пирамид до величественных соборов Европы. Проблема лоха в том, что он уверен, будто эти прекрасные объекты обязаны своим появлением математике, пусть из этого правила есть исключение – пирамиды построили задолго до появления формальной математики, разработанной Евклидом и древнегреческими теоретиками. Но вот вам факты: архитекторы (в стародавние времена их называли «хозяева работ») полагались на эвристику, эмпирические методы и строительный инструментарий, и почти никто из архитекторов не разбирался в математике. Как следует из работы специалиста по средневековой науке Ги Божуана, до XIII века не больше пяти человек в Европе знали, как разделить одно число на другое. Никаких вам теорем-шмеорем. При этом строители как-то рассчитывали сопротивление материала, которое мы сегодня рассчитываем при помощи уравнений, и старинные здания по большей части стоят до сих пор. Французский архитектор XIII века Виллар де Оннекур оставил после себя серию рисунков и записных книжек на пикардском (язык французского региона Пикардия) о том, как строить соборы при помощи экспериментальной эвристики, маленьких хитростей и правил, позднее систематизированных Филибером Делормом в трактатах об архитектуре. Скажем, треугольник рисовали как лошадиную голову. Людей делают благоразумными эксперименты, а не теории.
Мы можем уверенно утверждать, что римляне, прекрасные инженеры, строили акведуки без помощи математики (римские цифры сильно затрудняли квантитативный анализ). В противном случае, скорее всего, не было бы никаких акведуков. Ведь у математики есть очевидный побочный эффект: из-за нее мы склонны чрезмерно все оптимизировать и не оставлять «запас», отчего здания становятся более хрупкими. Все мы знаем, что новострой приходит в негодность быстрее, чем древние дома.
Взгляните на трактат Витрувия «Об архитектуре», библию архитекторов, написанную через триста лет после евклидовских «Начал». В этом трактате почти нет опоры на геометрию и Евклид, само собой, не упоминается. По большей части Витрувий пишет об эвристике, о том типе знания, которое архитектор передает своим ученикам. (Что характерно, основная математическая идея, упоминаемая в трактате, – это теорема Пифагора, и она изумляет Витрувия тем, что можно построить прямой угол «без приспособлений ремесленника».) Вплоть до Ренессанса математика сводилась в основном к логическим головоломкам.
Я не говорю, что теории и академическая наука не стоят за некоторыми практическими технологиями, которые порождены наукой в готовом виде, так что их сразу можно использовать по прямому (а не косвенному) назначению. Исследователь Джоэль Мокир называет это явление «эпистемической базой» или пропозициональным знанием. «Эпистемическая база» – это хранилище формального «знания», включающее в себя теоретические и эмпирические открытия и ставшее своего рода сводом правил, которые ученые используют для генерации нового знания и (думает Мокир) его новых приложений. Иными словами, это совокупность теорий, из которой могут напрямую следовать новые теории.
Но давайте не будем лохами: если следовать логике мистера Мокира, тому, кто хочет предсказать динамику обменных курсов, нужно изучить экономическую географию (я буду счастлив познакомить этого человека со специалистом по «зеленому лесу»). Я принимаю определение эпистемической базы, но ставлю под вопрос ее истинную роль в истории технологии. У меня нет доказательств того, что теории существенно повлияли на практику, и я жду, что кто-нибудь мне все-таки предъявит эти доказательства. Мокир и апологеты подобного мировоззрения не доказывают, что теоретическое знание не является эпифеноменом, – и, кажется, не понимают, как проявляются в реальности эффекты асимметрии. Какова во всем этом роль опциональности?
