Мы можем уверенно утверждать, что римляне, прекрасные инженеры, строили акведуки без помощи математики (римские цифры сильно затрудняли квантитативный анализ). В противном случае, скорее всего, не было бы никаких акведуков. Ведь у математики есть очевидный побочный эффект: из-за нее мы склонны чрезмерно все оптимизировать и не оставлять «запас», отчего здания становятся более хрупкими. Все мы знаем, что новострой приходит в негодность быстрее, чем древние дома.
Взгляните на трактат Витрувия «Об архитектуре», библию архитекторов, написанную через триста лет после евклидовских «Начал». В этом трактате почти нет опоры на геометрию и Евклид, само собой, не упоминается. По большей части Витрувий пишет об эвристике, о том типе знания, которое архитектор передает своим ученикам. (Что характерно, основная математическая идея, упоминаемая в трактате, – это теорема Пифагора, и она изумляет Витрувия тем, что можно построить прямой угол «без приспособлений ремесленника».) Вплоть до Ренессанса математика сводилась в основном к логическим головоломкам.
Я не говорю, что теории и академическая наука не стоят за некоторыми практическими технологиями, которые порождены наукой в готовом виде, так что их сразу можно использовать по прямому (а не косвенному) назначению. Исследователь Джоэль Мокир называет это явление «эпистемической базой» или пропозициональным знанием. «Эпистемическая база» – это хранилище формального «знания», включающее в себя теоретические и эмпирические открытия и ставшее своего рода сводом правил, которые ученые используют для генерации нового знания и (думает Мокир) его новых приложений. Иными словами, это совокупность теорий, из которой могут напрямую следовать новые теории.
Но давайте не будем лохами: если следовать логике мистера Мокира, тому, кто хочет предсказать динамику обменных курсов, нужно изучить экономическую географию (я буду счастлив познакомить этого человека со специалистом по «зеленому лесу»). Я принимаю определение эпистемической базы, но ставлю под вопрос ее истинную роль в истории технологии. У меня нет доказательств того, что теории существенно повлияли на практику, и я жду, что кто-нибудь мне все-таки предъявит эти доказательства. Мокир и апологеты подобного мировоззрения не доказывают, что теоретическое знание не является эпифеноменом, – и, кажется, не понимают, как проявляются в реальности эффекты асимметрии. Какова во всем этом роль опциональности?
Между тем есть совокупность ноу-хау, которые передаются от мастера к подмастерью, причем только к тому, который достиг определенной ступени посвящения: такие ступени нужны для отбора и для того, чтобы сделать профессию более уважаемой. Подобные ноу-хау не сведены в единую систему. Роль формального знания переоценивается именно потому, что оно открыто всем и каждому.
Похоже ли это на готовку?
Приготовление пищи – лучший пример дела, напрямую зависящего от опциональности. Вы добавляете какой-то ингредиент, и у вас появляется выбор: либо сохранить результат, если он угоден вкусовым сосочкам вашего внутреннего Жирного Тони, либо, если не угоден, забыть о нем навсегда. Вспомним и о совместных экспериментах а-ля «Википедия», порождающих некий комплекс рецептов. Эти рецепты появляются без гипотез о химических процессах во вкусовых сосочках – «эпистемическая база», рождающая теории из теорий, не играет тут никакой роли. В процессе готовки никто никого не дурачит. Как заметил Дэн Ариэли, мы не можем судить о том, каким будет вкус блюда, по его составу. Здесь мы наблюдаем древнюю эвристику в действии: столетия коллективного прилаживания вылились в кулинарную эволюцию. Рецепты сделались неотъемлемой частью национальных культур. Кулинарные школы функционируют исключительно по принципу ученичества.
С другой стороны, у нас есть чистая физика, где теории порождают теории, в какой-то мере подтверждаемые эмпирически. Здесь «эпистемическая база» играет большую роль. Бозон Хиггса – как раз тот случай, когда открытие частицы было предсказано средствами теории. Так же было с относительностью Эйнштейна. (До бозона Хиггса показательным примером открытия, сделанного на основании малого количества доступных данных, была гипотеза французского астронома Леверье о существовании Нептуна. Леверье предположил наличие в Солнечной системе восьмой планеты на базе математических расчетов, которые учитывали поведение соседних планет. Когда планету разглядели в телескоп, астроном отказался смотреть на нее, поскольку его удовлетворяла и собственная теория. Но это исключения из правила, возникающие в физике и других областях, которые я называю «линейными»: ошибки там – из Среднестана, а не из Крайнестана.)
Примерьте концепцию готовки к разного рода исследованиям: напоминают ли они приготовление пищи? Если присмотреться к тому, что происходит с технологией, мы обнаружим, что по большей части ее развитие куда больше напоминает готовку, чем развитие физики, особенно в сложных отраслях.
Даже медицина сегодня развивается по принципу ученичества (плюс какая-то теоретическая база), хотя и кажется внешнему наблюдателю наукой, для чего медики прикладывают все усилия. Если лишить медицину ученичества, останется «научно-доказательная» медицина, которая полагается в меньшей степени на биологические теории и в большей – на классификацию эмпирических закономерностей, феноменологию, о которой я говорил в главе 7. Отчего теории появляются и исчезают, а технологии остаются прежними?
У фундаментальной науки есть своя роль, но не та, на которую наука претендует
[70]
. В качестве примера рассмотрим цепочку нецелевого использования, в которой фаза 1 – это компьютер. Математическая дисциплина комбинаторика, выступающая тут в качестве фундаментальной науки, порожденной пропозициональным знанием, привела к созданию компьютеров, ну или так принято считать. (Чтобы наша выборка не была предвзятой, мы должны принять в расчет массив теоретических знаний, которые абсолютно бесплодны.) Однако поначалу никто не знал, что делать с коробками, набитыми электросхемами, – эти коробки были громоздкими, дорогими, а их использование сводилось, если не считать администрирования баз данных, к обработке больших объемов информации. Технологической причуде нужно было найти какое-то применение. Дети эпохи «бэби-бума» вспомнят загадочные перфокарты. Потом кто-то предложил пульт, с которого можно при помощи клавиатуры вводить данные, отражающиеся на экране-дисплее. Отсюда было рукой подать до электронной обработки текста, и поскольку компьютеры отлично подходили для редактирования текстов, они стали развиваться; особенно бурным их развитие было в начале 1980-х, когда появились микрокомпьютеры. Компьютер был удобен, но не более того, пока не изменились внешние обстоятельства. Началась фаза 2 – Интернет, который развился из эластичной коммуникационной сети, созданной Агентством по перспективным оборонным научно-исследовательским разработкам США (DARPA), и расширялся в те годы, когда Рональд Рейган был одержим советским вторжением. Сеть должна была помочь США выжить в случае массированной атаки. Отличная идея, но соедините персональный компьютер с Интернетом – и вы получите социальные сети, расстроенные браки, массу «компьютерных маньяков», а также возможность найти свою вторую половину для жителей бывшего Советского Союза, испытывающих трудности с социальной адаптацией. И все это за счет инвестиций американских налогоплательщиков (а скорее – бюджетного дефицита) эпохи крестового похода Рейгана против Советов.
