Схожее ограничение прослеживается и в утверждении Аристотеля о несопоставимости различных математических объектов. Например, круг нельзя сравнивать с квадратом, утверждал Аристотель, поскольку невозможно применить ни числовые, ни геометрические методы для построения квадрата, площадь которого была бы равна площади круга. Попытаться превратить круг в квадрат (построить квадратуру круга) – значит нарушить запрет на использование метабазиса. Существование каждого геометрического объекта определяется его собственными универсалиями, и сравнивать их так же нелепо, как сравнивать вкус сыра со звуком лютни.

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

Уильям упразднил восемь из десяти категорий Аристотеля как сущности, которые не следует множить без крайней необходимости, таким образом, он снял запрет на использование метабазиса. Что касается математики, бритва Оккама коснулась форм или универсалий треугольников, кругов и чисел, существующих в мире идеального. Уильям пишет: «Если бы [математические] отношения существовали в реальном мире, то движение моего пальца и вызванное этим движением изменение его положения относительно всех элементов мира привели бы к тому, [что] небо и земля наполнились бы случайностями»[137].

Далее он утверждает, что, поскольку числа, формы или геометрические фигуры существуют лишь в нашем сознании, не стоит ограничивать их применение. Например, во вступлении к своему сочинению Ordinatio, которое Оккам закончил до своего отъезда в Авиньон в 1324 году, он рассматривает взаимосвязь математики с другими науками и утверждает, что, хотя Аристотель и не видел возможностей для применения математики в других областях знания, в частности в медицине, многие математические понятия и принципы все же проложили дорогу в другие науки. Он приводит пример благоприятного и неблагоприятного прогноза в медицине, который врач может сделать исходя из того, было ли ранение нанесено режущим оружием (благоприятный прогноз) или колющим (неблагоприятный прогноз).

Итак, Оккам снимает запрет на сравнение несопоставимого, например прямой и кривой линии. Он предлагает развернуть свернутую в кольцо веревку и, измерив ее длину, сравнить ее с длиной изначально прямой веревки[138]. Отказавшись от сложившегося веками метода познания на основе рассуждений, Оккам совершил удивительный прорыв к современной науке, в которой познание основано на опыте.

Современник Уильяма Томас (Фома) Брадвардин первым воспользовался снятием Аристотелева запрета и начал изучать движение. Аристотель понимал движение как одну из форм изменения, наряду с ростом и увяданием. Он признавал, что движение возможно лишь в том случае, когда сила, действующая на тело, превосходит силу сопротивления движению, однако никогда не пытался выразить это в математической форме. Брадвардин в «Трактате о пропорциях, или О пропорциях скоростей при движении» (Tractatus de proportionibus seu de proportionalitate velocitatum in motibus), написанном около 1328 года, невзирая на запрет Аристотеля на использование метабазиса, обращается к его идее о математических соотношениях в музыкальных интервалах, чтобы доказать, что такое же соотношение существует между силой воздействия и сопротивлением и оно имеет числовое выражение, которое и определяет количество движения[139]. Это был шаг вперед, поскольку впервые к материальным объектам было применено математическое обоснование.

Брадвардин впоследствии преуспел на дипломатическом поприще и стал архиепископом Кентерберийским, однако в Оксфорде его математические начинания подхватило следующее поколение ученых Мертон-колледжа, среди которых были Джон Дамблтон (ок.1310 – ок. 1349), Уильям Хейтсбери (ок. 1313–1373) и Ричард Суайнсхед (? – ок. 1358). В период с 1330 по 1350 год их пути пересекались в Мертон-колледже, поэтому нетрудно представить этих ученых, склонившихся над рукописями при свете свечи в холодных стенах библиотеки колледжа[140]. Номиналистическая логика Оккама оказала большое влияние на Хейтсбери и Дамблтона[141]. Однако сильнее всего его влияние на развитие науки проявилось в том, что он освободил математику от оков схоластической философии.

Хейтсбери, которого позднее стали называть просто «калькулятором», в труде 1335 года «Правила решения софизмов» (Regulae solvendi sophismata) даже придумал полуматематический метаязык, которым он пользовался для объяснения многих проблем, считавшихся запретными из-за метабазисных ограничений, например вопрос о соотношении массы и сопротивления применительно к движению[142]. Он ставил вопросы, следуя принятой в схоластике традиции, например: существует ли максимальный вес, который Сократ может поднять, действуя со скоростью А в среде Б, либо минимальный, который он поднять не может[143]. Однако самое важное достижение его и других Оксфордских калькуляторов – это определение скорости в виде отношения расстояния и времени. Аристотель никогда не делал попыток выработать математическое выражение, поскольку рассматривал движение как сложное понятие, включающее изменения места, времени, местонахождения и положения, в которых он видел самостоятельные и потому несопоставимые категории. Оксфордские калькуляторы, образно говоря, размотали веревку Оккама и определили скорость, разделив расстояние, которое проходит объект, на время, которое он затрачивает. Это открытие принято приписывать Галилею[144], однако на самом деле его придумали Оксфордские калькуляторы за три века до него.

Имея за плечами опыт математического описания скорости, Хейтсбери и его коллеги продолжили работу и открыли первый закон современной науки – теорему о средней скорости. Согласно этой теореме, расстояние, которое проходит объект, начиная движение из состояния покоя и двигаясь с равномерным ускорением, равно расстоянию, которое преодолел бы этот же объект за то же время, двигаясь со средней скоростью. Например, если ослик, находящийся в состоянии покоя, начнет двигаться, равномерно увеличивая скорость до десяти миль в час, то за час пути он пройдет то же расстояние, как если бы он не спеша трусил в течение часа с равномерной скоростью пять миль в час – в обоих случаях ослик преодолеет расстояние пять миль.

Научные и математические законы чрезвычайно важны для нашего рассказа, поскольку в их четких формулировках ясно прослеживается принцип работы бритвы Оккама. Напомню утверждение Эйнштейна, которое я приводил во введении: «Важнейшая цель науки – из наименьшего числа гипотез или аксиом логически получить дедуктивным путем максимум реальных результатов»[145],[146]. Физические законы оптики, механики, термодинамики служат наглядным примером того, как можно «получить максимум реальных результатов», опираясь на простые «гипотезы и аксиомы». Чтобы оценить их значение, представьте себе, как бы ответил Аристотель на ваш вопрос о том, какое расстояние пройдет ослик за один час, если он начнет движение из состояния покоя, равномерно ускоряясь до скорости десять миль в час. Он, вероятно, сказал бы, что все зависит от того, из чего сделан ослик, какую форму он имеет, что является перводвигателем и какова конечная причина движения, а еще к каким категориям относятся эти причины. Ослик, скорее всего, испустил бы дух прежде, чем дослушал Аристотеля до конца.