Саймон Сингх - Великая Теорема Ферма
Случай с Хзянем показывает, до какой степени математики полагаются на представления о чести. Математическое сообщество исходит из предположения, что почтенные профессора из самых престижных университетов не станут делать скоропалительные, безосновательные заявления и откажутся от ошибочных утверждений, едва в них будет обнаружен пробел. Тот, кто нарушит сложившуюся систему, основанную на представлениях о профессиональной честности, породит смятение, которое будет длиться долго, так как ни у кого нет ни желания, ни времени следовать повсюду за нарушителем и опровергать его всякий раз, когда он будет высказывать ложные утверждения. (Представьте себе, какой объем работы потребовалось проделать Хейлису, чтобы написать свою разоблачительную статью, опубликованную в 1993 году на страницах журнала "Mathematical Intelligencer", и примите во внимание, что она ничего не дала для математической карьеры самого Хейлиса, — и вы поймете эту проблему. Хзянь опубликовал ответ на статью Хейлиса, но его доводы оказались совершенно несостоятельными. Хейлис счел, что критика ответа Хзяня означала бы вхождение в нескончаемый цикл, на продолжение которого у него просто нет времени.)
Хзянь мог позволить себе не признавать своих ошибок, но как обстояло с редколлегией "International Journal"? Ясно, что члены редколлегии оказались вовлеченными в процесс, который пошел не так, как предполагалось. Статья Хзяня не была прорецензирована должным образом, если вообще была прорецензирована. Ранее «Journal» не проявлял ни малейшего интереса к проблеме плотнейшей упаковки шаров. Было ясно, что Хзянь остановил свой выбор на "International Journal" не потому, что это было подходящее периодическое издание для публикации его статьи, а потому, что этот журнал издавали его друзья.
Кароль Бездек, который больше года работал в контакте с Хзянем, пытался заполнить пробелы в его доказательстве, и представил в «Journal» статью, содержащую контрпример одной из лемм Хзяня. Публикация статьи Бездека затянулась надолго — с декабря. Столь долгий срок бывает иногда необходим для рецензирования статьи, но не совсем обычен для контрпримера к самой разрекламированной статье, опубликованной в «Journal» за многие годы».
Доказательства на чипах
В первой схватке с Великой теоремой Ферма единственным оружием Уайлса были карандаш, бумага и чистая логика. И хотя его доказательство использует самые современные методы теории чисел, оно выдержано в лучших традициях Пифагора и Евклида. Но недавно появились зловещие признаки того, что доказательство Уайлса, возможно, стало одним из последних примеров классического доказательства, и будущие доказательства столь сложных проблем будут полагаться не столько на изящные рассуждения, сколько на грубую силу.
Первые признаки того, что некоторые называют упадком математики, появились в октябре 1852 года в Англии, когда Фрэнсис Гатри, который мог уделять математике лишь часть своего времени, предложил одну, на первый взгляд, безобидную задачу. Однажды, раскрашивая от нечего делать карту графств Британии, Гатри наткнулся на головоломку, которая показалась ему простой, хотя решить ее он так и не сумел. Гатри просто хотел узнать, каково минимальное число красок необходимо взять для раскраски любой мыслимой карты при условии, чтобы никакие две смежные области (имеющие общую границу) не оказались окрашенными в один и тот же цвет.
Например, для раскрашивания карты, изображенной на рисунке, трех красок недостаточно. Следовательно, для раскрашивания некоторых карт необходимы по крайней мере четыре краски. Гатри хотел узнать, окажется ли четырех красок достаточно для раскрашивания всех карт, или для некоторых карт могут потребоваться пять, шесть или больше красок.
Разочарованный неудачей, но заинтригованный, Гатри упомянул об этой задаче в беседе со своим братом Фредериком, студентом Университетского колледжа в Лондоне. Тот, в свою очередь, рассказал о ней своему профессору, знаменитому Августу Де Моргану, который в письме от 23 октября сообщил великому ирландскому математику и физику Уильяму Роэну Гамильтону: «Мой студент попросил меня сегодня объяснить одну задачу, которая мне не была ранее известна и пока не понятна до конца. Он утверждает, что если любую фигуру разделить любым способом на части и раскрасить их различными красками так, чтобы фигуры, имеющие общий отрезок граничной линии, были окрашены в различные цвета, то всего потребуются четыре краски, но не больше. Мне известен случай, когда требуется четыре краски. Вопрос: нельзя ли придумать случай, когда необходимы пять или более красок?.. Если Вы придумаете очень простой пример, который покажет, насколько я глуп, то, думается, мне надо будет поступить, как Сфинксу»[24].
Гамильтону не удалось придумать карту, для раскраски которой потребовалось бы пять цветов, но он не сумел и доказать, что такой карты не существует. Весть о проблеме четырех красок быстро распространилась по Европе, но, несмотря на все усилия, проблема упорно не поддавалась решению, хотя казалась простой. Герман Минковский однажды на лекции заявил, что проблема четырех красок не была решена потому, что найти решение пытались только третьеразрядные математики. Но и его собственные усилия в течение нескольких недель не увенчались успехом. «Небеса разгневались на меня за мое высокомерие, — вынужден был признать Минковский. — Мое доказательство также оказалось с изъяном».
Автор задачи о четырех красках Фрэнсис Гатри вскоре покинул Англию и отправился в Южную Африку, где занялся адвокатской деятельностью. Но в конце концов он вернулся к математике, став профессором Кейптаунского университета. Впрочем, Гатри проводил больше времени на ботаническом факультете, чем со своими коллегами-математиками. Помимо проблемы четырех красок его единственной заявкой на славу стало описание вереска, названого в его честь Erica guthriei.
Фрэнсис Гатри понял, что карту графств Британии он мог бы раскрасить всего лишь в четыре цвета, причем так, что никакие два соседних графства не оказались бы раскрашенными в один и тот же цвет. Затем он стал размышлять над тем, хватит ли четырех цветов для аналогичной раскраски любой другой карты
Проблема четырех красок оставалась нерешенной четверть века. Надежда на успех появилась в 1879 году, когда британский математик Альфред Брей Кемпе опубликовал в «American Journal of Mathematics» статью, в которой, по его утверждению, содержалось решение головоломки Гатри. Казалось, Кемпе удалось доказать, что для раскраски любой карты требуется самое большее четыре краски, и тщательное изучение доказательства вроде бы подтверждало его правильность. Кемпе был тотчас же избран членом Королевского общества, а позднее возведен в рыцарское звание за вклад в развитие математики.
Но в 1890 году лектор Дурхэмского университета Перси Джон Хивуд опубликовал работу, потрясшую математический мир. Через десять лет после того, как Кемпе, казалось бы, решил проблему четырех красок, Хивуд не оставил от его решения камня на камне, показав, где в решении Кемпе была допущена принципиальная ошибка. Единственной хорошей новостью было то, что Хивуду удалось получить оценку для максимального числа красок: оно могло быть равно четырем или пяти, но не более.
Хотя Кемпе, Хивуду и другим так и не удалось решить проблему четырех красок, их попытки внесли большой вклад в новый раздел математики — топологию. В отличие от геометрии, которая занимается изучением точной формы и размеров объекта, топологию интересуют только самые фундаментальные свойства объекта, составляющие его суть.
Например, когда геометр изучает квадрат, его интересуют такие свойства квадрата, как равная длина сторон и то, что все внутренние углы квадрата прямые. Когда же тополог изучает квадрат, его интересует только то обстоятельство, что контур квадрата представляет одну сплошную замкнутую линию, т. е. по существу — петлю. Поэтому для тополога окружность неотличима от квадрата, поскольку окружность также представляет собой одну петлю. Математик Джон Келли как-то раз заметил: «Тополог — это тот, кто не отличает бублик от кофейной чашки».
Топологическую эквивалентность квадрата и окружности можно наглядно представить себе и другим способом, вообразив, что квадрат или окружность начерчены на резиновом листе. Если выбрать за исходную фигуру квадрат, то, растягивая, сжимая, изгибая и перекручивая резиновый лист (но не разрывая его и не склеивая никакие точки), квадрат можно превратить в окружность. С другой стороны, квадрат невозможно превратить в крест, как бы мы ни деформировали резиновый лист. Следовательно, квадрат и крест топологически не эквивалентны. Из-за такого подхода к наглядному представлению топологических свойств фигур топологию часто называют «геометрией на резиновом листе».