Идеи с границы познания. Эйнштейн, Гёдель и философия науки

Если карта поддается этому процессу сжатия-раскрашивания-восстановления, говорят, что у нее «редуцируемая конфигурация». Как мы только что видели, один их типов редуцируемой конфигурации – это область, граничащая только с тремя другими областями. Увы, такая область найдется не на каждой карте. Но, вероятно, есть и другие типы редуцируемых конфигураций. И, вероятно, можно показать, что любая карта, какой бы сложной она ни была, обязательно содержит хотя бы одну редуцируемую конфигурацию. Если да, это решило бы вопрос. Карта, содержащая редуцируемую конфигурацию, не может быть минимальной криминальной, такая карта всегда может быть раскрашена в четыре цвета в результате процесса сжатия-раскрашивания-восстановления. Так что если любая карта содержит хотя бы одну разновидность редуцируемой конфигурации, значит, минимальных криминальных карт не бывает. А если не бывает минимальных криминальных карт, значит, криминальных карт не существует, и точка. (Если криминальные карты существуют, среди них должны быть карты с минимальным числом регионов.) А если не существует криминальных карт, значит, любая карта законопослушна, то есть может быть раскрашена в четыре цвета.

∞

Именной этой логикой руководствовался и Альфред Брэй Кемп, лондонский адвокат и математик-любитель, который в 1879 году заявил, что доказал гипотезу четырех красок. Рассуждения Кемпа были полны математических хитростей, но показались убедительными, и не только Чарльзу Пирсу. Лучшие математики Британии, Континента и Соединенных Штатов признали, что перед ними долгожданное решение проблемы четырех красок. Кемпа приняли в Королевское общество, а затем и посвятили в рыцари. Его «доказательство» продержалось десять лет, пока в нем не обнаружили неочевидную, но фатальную ошибку. Нашел ее ученый-классик и математик Перси Хивуд, он же «Котик» Хивуд, как прозвали его друзья за роскошные усы.

Хивуд, который чуть ли не извинялся за то, что опроверг доказательство Кемпа, обладал некоторыми странностями характера, которые выделяют его даже среди героев этой саги, полной всевозможных чудаков и эксцентриков. Был он тощ и слегка сутул и, как правило, одевался в плащ с пелериной в необычных узорах и не расставался с древним саквояжем. Его повсюду сопровождала собака – даже на лекциях. Он любил заседать в ученых комитетах и считал, что день прошел зря, если он не поучаствовал хотя бы в одном заседании. Время на своих вечно отстававших часах он выставлял раз в год, в Рождество, а потом весь год подсчитывал в уме, какой нынче час. «Нет, они не на два часа спешат, а на десять часов отстают!» – уверял он коллегу. Однако были у него и практические таланты: когда Даремский замок XI века едва не сполз с утеса, на котором был построен, в реку Уир, Хивуд почти в одиночку собрал денег на его спасение.

А теперь еще одна математическая интерлюдия. Если доказать гипотезу четырех красок трудно, попробуем задачу попроще: так называемую гипотезу шести красок. Это аналог проблемы четырех красок, только, очевидно, слабее: гипотеза гласит, что для того, чтобы раскрасить любую возможную карту так, чтобы соседние области всегда были разного цвета, достаточно шести красок. Гипотеза шести красок достойна рассмотрения, поскольку выявляет математические корни проблемы четырех красок, восходящие к середине XVIII века и к великому швейцарскому математику Леонарду Эйлеру (чья фамилия на самом деле произносится «Ойлер»).

Эйлер, вероятно, был самым плодовитым математиком в истории. Среди открытий, которые он совершил, курсируя между дворами Фридриха II и Екатерины II, была формула V-E+F=2; недавно ее признали второй по красоте теоремой в математике. (Победителем конкурса красоты, по данным опроса 1988 года в журнале Mathematical Intelligencer, стало тождество e=-1)[16]). Формула Эйлера описывает любой многогранник, то есть любое тело, ограниченное плоскими поверхностями, вроде куба или пирамиды. Она гласит, что если сосчитать все вершины многогранника (V), вычесть количество ребер (E) и прибавить количество граней (F), в результате всегда получается 2. Например, у куба 8 вершин, 12 ребер и 6 граней. И в самом деле, 8-12+6=2.

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