Математика изобретена или открыта?

Планета Нептун была открыта математически. В 1846 году Урбен Леверье вычислил её положение из аномалий орбиты Урана — тот двигался не так, как должен бы по закону всемирного тяготения, и Леверье предположил, что его сбивает с курса невидимая планета. Он указал, куда смотреть в небо. Иоганн Галле направил телескоп — и нашёл Нептун в градусе от расчётной точки. Математика предсказала физическую реальность1.

Это странно. Если математика изобретена людьми, как изобретены шахматы или японский язык — почему она описывает вселенную точнее любого другого языка? Почему π встречается в квантовой механике, в которой нет ни одной физической окружности? Почему матрицы, придуманные Кэли в 1858 году как формальная игра, оказались точным языком квантовой физики XX века? Почему мнимые числа Кардано, придуманные как трюк для решения уравнений, описывают волновую функцию электрона?

Юджин Вигнер назвал это «непостижимой эффективностью математики в естественных науках» — статья 1960 года, ставшая классикой. Вопрос, который он сформулировал, до сих пор открыт2.

Математика — это язык, на котором написана книга природы. — Галилей

Есть два больших лагеря.

Платонисты считают: математические объекты существуют независимо от людей, в каком-то смысле объективно. Простые числа были простыми задолго до того, как появился человек, способный их считать. π было иррациональным до Гиппаса. Математик не создаёт теорему — он её обнаруживает. Как геолог находит минерал, который уже миллиарды лет лежал в земле. Гёдель был платонистом и верил, что разум способен воспринимать математические истины напрямую, как глаз воспринимает свет.

Формалисты и конструктивисты возражают: математика — это язык, набор символов и правил манипуляции ими. Истин в ней нет — есть выводимость из аксиом. π иррационально потому, что мы определили рациональные числа определённым образом, и доказали, что π в это определение не вписывается. С другими аксиомами получились бы другие теоремы. Математик изобретает — как программист пишет язык программирования: правила выбраны человеком, и из них вытекает всё остальное.

Аргумент в пользу «открытия»: независимые открытия. Ньютон и Лейбниц независимо изобрели математический анализ. Бойаи и Лобачевский независимо открыли неевклидову геометрию. Если математика изобретается, как изобретаются языки или культуры, — почему разные люди в разных странах приходят к одному и тому же результату? Языки же не сходятся.

Аргумент в пользу «изобретения»: выбор аксиом. Евклидова геометрия и геометрия Лобачевского одинаково непротиворечивы — просто в первой через точку вне прямой проходит ровно одна параллельная, во второй больше одной. Выбор аксиомы — это выбор; и от него зависит, какая геометрия получится. Если бы математика «открывалась», должна быть одна правильная геометрия. А их минимум три (евклидова, гиперболическая, эллиптическая), и все одинаково настоящие.

Гёдель парадоксально подтвердил платонистскую позицию своей теоремой о неполноте. В любой достаточно богатой системе существуют истины, которые нельзя доказать внутри системы, — но математик видит их как истинные3. Если истинность сводится к выводимости — таких истин не должно быть. Если истина шире выводимости — значит, есть какой-то другой источник истины, не зависящий от выбранных аксиом.

Может быть, сам вопрос неточно поставлен. Математические структуры — возможно — существуют как логические необходимости. Не в физическом смысле, в каком существуют атомы, и не в человеческом, в каком существуют романы. В том смысле, в каком импликация «если A и B, то A» истинна без всякой вселенной. Не открыта и не изобретена — просто есть, как условие любого мышления.

Для проекта null этот вопрос не академический. Если числа открыты — алгоритмическая музыка, построенная на простых числах, звучит так, как звучит, потому что простые числа реальны и имеют внутреннюю структуру. Если изобретены — она звучит так, потому что мы выбрали красивые правила, и красота тут на стороне человека, а не природы. Оба варианта интересны, и оба стоят того, чтобы их слушать.