Иэн Стюарт - Величайшие математические задачи

Отсюда известная математическая шутка. Биолог, статистик и математик сидели на открытой площадке кафе и наблюдали за тем, что происходит вокруг. Вот в дом напротив зашли мужчина и женщина, а через 10 минут вышли снова уже с ребенком. «Они размножились», — заметил биолог. «Нет, — возразил статистик. — Это ошибка наблюдения. В среднем и туда, и обратно прошли два с половиной человека». «Нет, нет, нет, — сказал математик. — Все совершенно очевидно. Если теперь в здание кто-то войдет, оно станет пустым».

Может быть, Бор здесь попал в точку. Научные теории проверяются через предсказания, но мало какие из них способны предсказать будущее. Большинство ограничивается утверждениями вида «если, то»: если пропустить свет сквозь призму, то он расщепится на отдельные цвета. Это «предсказание» ничего не говорит о том, когда это произойдет. Поэтому, как ни парадоксально, мы можем предсказывать погоду, не предсказывая ее. «Если теплый воздух циклона встретится с холодным воздухом, пойдет снег». Это, конечно, научное предсказание, но отнюдь не прогноз погоды.

Гипотеза ABC гласит: для любого ε > 0 существует постоянная k ε>0, такая, что если a, b и c — положительные целые числа, не имеющие общих делителей больших 1, и a + b = c , то c ≤ k ε P 1+ε, где P — результат перемножения всех различных простых делителей abc .

В сентябре 2012 г. Синъити Мотидзуки объявил, что ему удалось доказать гипотезу ABC при помощи кардинально нового подхода к основным положениям алгебраической геометрии. Специалисты проверяют его 500-страничное доказательство, но это может занять довольно много времени.