Однако точность – не единственный повод славить математические теории. Есть еще и предсказательная сила. Приведу всего два простых примера – один из XIX века, другой из ХХ. Первая теория предсказала новое явление, вторая – существование нескольких элементарных частиц.
Джеймс Клерк Максвелл, сформулировавший классическую теорию электромагнетизма, в 1864 году предсказал, что, согласно его теории, переменные электрические или магнитные поля должны генерировать распространяющиеся волны. Эти волны – знакомые всем нам электромагнитные волны, в частности радиоволны, – первым обнаружил немецкий физик Генрих Герц (1857–1894) в результате серии опытов, которые он провел в конце 80-х годов XIX века.
В конце 60-х годов XX века физики Стивен Вайнберг, Шелдон Глэшоу и Абдус Салам разработали теорию, которая объединяет электромагнитное и слабое взаимодействия между элементарными частицами[154]. Теперь эта теория известна под названием теории электрослабого взаимодействия. Она предсказала существование трех частиц (W>+-, W>— и Z-бозонов), которые раньше никто не наблюдал. В 1983 году существование этих частиц было однозначно подтверждено в ходе экспериментов на ускорителе (где элементарные частицы сталкивают друг с другом при очень высоких энергиях), которые проделали физики Карло Руббиа и Симон ван дер Мер.
Физик Юджин Вигнер, тот самый, который ввел в обращение фразу «непостижимая эффективность математики», предложил называть все эти неожиданные достижения математических теорий «эмпирическим законом эпистемологии» (эпистемология – дисциплина, изучающая происхождение и пределы знаний). Если бы этот «закон» был неверен, резонно утверждает он, ученым «не хватило бы мужества и уверенности», без которых «нельзя было бы успешно исследовать законы природы». Однако Вигнер не предлагал никаких объяснений эмпирическому закону эпистемологии. Для него это был некий «чудесный дар», за который мы должны быть благодарны, хотя и не представляем себе его происхождение. В сущности, для Вигнера этот «дар» и составлял суть вопроса о непостижимой эффективности математики.
Думаю, мы собрали уже достаточно данных, чтобы хотя бы попытаться ответить на вопросы, которыми задались в самом начале. Почему математика так эффективна, почему она настолько прекрасно объясняет происходящее в мире вокруг нас, что даже позволяет добывать новые знания? И открываем мы ее или изобретаем, в конце концов?