Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

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

(И они не шутили. В Principia Mathematica на определение числа 1 отводится 345 страниц.)

Совершенно верно. Кит, в соответствии с любыми осмысленными стандартами сложности, является значительно более сложной штукой, чем «пять», и однако же его намного проще охватить человеческим умом. В языке любого человеческого племени, знакомого с китами, несомненно найдется слово для них. И однако же есть народы, в языке которых нет слова для «пяти», несмотря на то что его, так сказать, содержание находится у них в буквальном смысле на пальцах! Повторюсь: математическое мышление представляет собой глубоко неестественный способ мыслить и, вероятно, по этой-то причине и отталкивает столь многих. Но если это отталкивание удается преодолеть, то воздается сполна! Посмотрим на 2000-летнюю историю одомашнивания концепции нуля — числа, которое получило широкое признание математиков лишь около 400 лет назад. Ну и что бы мы без него сегодня делали?

Арифметику, в отличие от анализа, принято рассматривать как простейшую, легче всего постижимую область математики. Целые числа? Ясное дело, требуются для счета. Отрицательные числа? Без них не обойтись, если вы интересуетесь температурой в холодный денек. Дроби? Разумеется, понятно, что гайка в 3/ 8дюйма не навинтится на болт 13/ 32. Если вы предоставите мне бумагу, карандаш и немного времени, я, пожалуй, смогу вам сказать, подойдет ли гайка размером 15/ 23к болту размера 29/ 44. Чего же тут бояться?

Но арифметика обладает тем занятным свойством, что в ней довольно легко сформулировать утверждения, которые невероятно трудно доказать. В 1742 году Кристиан Гольдбах выдвинул свою знаменитую гипотезу, что любое четное число большее двойки можно представить как сумму двух простых чисел. Усилия, прилагавшиеся лучшими умами на планете на протяжении двадцати шести десятков лет, не принесли ни доказательства, ни опровержения этого простого утверждения (которое послужило источником вдохновения по крайней мере для одного романа: «Дядя Петрос и гипотеза Гольдбаха» Апостолоса Доксиадиса. [48]В арифметике имеются сотни подобных гипотез, одни из них доказаны [49], а другие остаются открытыми.

Нет сомнения, что именно это имел в виду Гаусс, когда отверг предложение вступить в соревнование за награду, обещанную за доказательство Последней теоремы Ферма. Генриху Олберсу, который побуждал его участвовать, Гаусс ответил: «Должен сознаться, что теорема Ферма… не слишком меня интересует, поскольку я без труда мог бы произвести множество утверждений подобного типа, — таких, которые будет невозможно ни доказать, ни опровергнуть».

Следует, впрочем, сказать, что равнодушие Гаусса в данном случае — это точка зрения меньшинства. Задача, сформулировать которую можно в нескольких простых словах, но решить которую лучшие математические таланты не могут на протяжении десятилетий — или, как в случае гипотезы Гольдбаха или Последней теоремы Ферма, столетий, — обладает неотразимой привлекательностью для большинства математиков. Они знают, что могут прославиться, если решат ее, как это произошло с Эндрю Уайлсом, доказавшим Последнюю теорему Ферма. Из истории вопроса им также известно, что даже неудачные попытки могут привести к созданию мощных новых методов и получению новых результатов. И кроме того, никуда не делся «фактор Мэлори»: отвечая на вопрос «Нью-Йорк таймс», почему ему так хочется забраться на гору Эверест, Джордж Мэлори [50]ответил: «Потому что она есть».

Связь между измерением и счетом такова. Поскольку нет никакого теоретического предела точности, с которой можно измерить некую величину, список всех возможных измерений бесконечен и при этом бесконечно измельчен. Между измерением, которое дает 2,3 дюйма, и измерением, которое дает 2,4 дюйма, имеются промежуточные, более точные результаты в 2,31, 2,32, 2,33, …, 2,39 дюйма, которые можно разбивать далее, и так до бесконечности. Поэтому мы можем совершить мысленное путешествие, в котором, переходя от одного результата измерения к любому другому, мы связываем их через бесчисленное количество других, расположенных между ними, и при этом никогда не возникнет проблемы, что нам будет не на что наступить. Эта идея связности — путешествия через пространство или некоторый интервал без необходимости перепрыгивать через пустоты — лежит в основе жизненно важных математических понятий непрерывности и предела . Другими словами, она лежит в основе всего анализа.