Второй тип формул – способ описания мира, в первую очередь реального. Однако, как мы увидим позже, работа с гипотезами (которые в основном оказываются неверными в применении к наблюдаемой природе) приводит к тому, что физические формулы служат и для описания возможных миров, отличающихся от нашего. Сила второго вида формул состоит в наличии их первого типа. Иначе говоря, к законам природы можно применять методы манипулирования, уже разработанные математиками для абстрактных структур.
Особняком стоят химические формулы, описывающие структуры молекул и реакции между ними. Наверняка именно та или иная форма записи строения какой-нибудь молекулы – первое, что приходит в голову многим людям при упоминании слова «формула» (эти ассоциации используют в рекламе, рассказывая о новом моющем средстве или моторном масле). В первую очередь формулы – очень удобный способ визуализации. В данном случае они не имеют отношения к математике. Соответственно, мощные методы этой науки неприменимы для манипуляций с химическими формулами. Однако у химиков есть свои методы, да и математические формулы они тоже активно используют.
Отдельно можно выделить четвертый тип формул, связанный с диаграммами, соответствующими реакциям в самых разных науках. Это или схемы, или одна из форм математической записи, т. е. они выделяются скорее по форме, чем по содержанию, и демонстрируют заметное разнообразие, если их не сортировать по подклассам. В первую очередь здесь стоит назвать диаграммы Фейнмана. В данном случае речь идет не просто о визуализации, а о методе, упрощающем вычисления. Так что с некоторыми оговорками можно считать эти диаграммы подвидом формул второго типа.
Нас в первую очередь будут интересовать формулы в физике (законы природы) и стоящая за ними математика, обеспечивающая аппарат манипулирования. Вместе это страшная сила. Как пишет Михаил Громов, «математика заполняет своим огнем все, что зовется физическими науками: облака, скрывавшие от нас то, что теперь мы пишем как законы природы, рассеиваются в лучах такой физики»[4].
Сама идея законов природы довольно нетривиальна. На первом шаге речь идет о том, что мы можем выявить в природе строго выполняющиеся закономерности, которые можно записать в виде математических соотношений. Отсюда один шаг до восприятия мира как машины с четкой предсказуемостью всех будущих событий. Интересно, что дальнейшее движение «той же тропой» привело в итоге к отказу от строгого детерминизма механистических моделей благодаря, например, созданию таких теорий, как хаотическая динамика и квантовая механика. Но в начале пути строгого математического описания природы (без божественного вмешательства, например) мы видим именно детерминизм.
