Джордан Элленберг - Как не ошибаться. Сила математического мышления

И эти теоремы касаются не просто абстрактных геометрий, созданных только ради того, чтобы доказать какую-то мысль. В постэйнштейновскую эпоху мы понимаем, что неевклидова геометрия – не просто игра. Нравится вам это или нет, но именно так в действительности выглядит пространственно-временной континуум.

Такая история повторяется в области математики снова и снова: мы разрабатываем метод, применимый к решению одной задачи, и, если это хороший метод (то есть метод, содержащий поистине новую идею), в большинстве случаев мы обнаруживаем, что то же самое доказательство работает во многих ситуациях, которые могут отличаться от исходной ситуации в такой же мере, в какой сфера отличается от плоскости, или даже больше. В настоящее время молодой итальянский математик Оливия Карамелло создает настоящую сенсацию своими заявлениями, что теории, которые управляют различными областями математики, по сути своей тесно взаимосвязаны друг с другом (если вы отдаете предпочтение формальным терминам, они «классифицированы в соответствии с одними и теми же топосами Гротендика»). Следовательно, теоремы, которые доказаны в одной области математики, можно спокойно перенести в другую область, которая кажется на первый взгляд совершенно иной. Сейчас слишком рано говорить, удалось ли Карамелло создать «странный новый мир», как это сделал Бойяи, но ее работа в значительной степени согласуется с давней традицией в математике, частью которой был Бойяи.

Эта традиция обозначается термином «формализм». Именно об этом говорил Годфри Гарольд Харди, когда с восхищением отметил, что математики XIX столетия начали наконец спрашивать «как определить 1 − 1 + 1 − 1 +…», а не «что есть 1 − 1 + 1 − 1 +…». Это позволяло им избежать «ненужных затруднений», преследовавших математиков более ранних времен. Согласно самой чистой версии этой точки зрения, математика становится своего рода игрой с участием символов и слов. Утверждение можно считать теоремой, если его выводят из аксиом посредством логических операций. Но что к чему отсылают аксиомы и теоремы, что они означают – этим пусть занимается кто-то другой. Что такое Точка, Прямая, лягушка или кумкват? Это может быть все, что ведет себя так, как того требуют аксиомы, а смысл можно выбирать, исходя из текущих потребностей. Сугубо формальная геометрия – это геометрия, которой можно заниматься, даже если вы никогда не видели или не представляли себе точку или прямую; это геометрия, в которой не имеет значения, как на самом деле выглядят точки и прямые в обычном их понимании.

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

Однако Гор не получил эти голоса; на самом деле он даже не боролся за них всерьез. Наша избирательная система носит формалистский характер: значение имеет отметка, сделанная на бюллетене, а не то, о чем думает избиратель, когда делает эту отметку. У Кондорсе вызвали бы обеспокоенность и те люди, которые проголосовали за Ральфа Нейдера. При условии (которое кажется вполне допустимым), что большинство этих людей отдавали предпочтение Гору перед Бушем, именно Гор является тем кандидатом, который должен был выиграть выборы согласно аксиоме Кондорсе: большинство избирателей предпочитали Гора Бушу, а еще более значительное большинство отдавали ему предпочтение перед Нейдером. Однако все эти предпочтения не играют никакой роли в действующей избирательной системе. Мы определяем волю народа как отметку, которая чаще всего появляется на листах бумаги, собранных в кабинках для голосования.

Безусловно, даже это количество можно оспорить. Как подсчитывать бюллетени, в которых перфорируемое отверстие пробито не полностью? Что делать с результатами голосования, переданными по почте с зарубежных военных баз, если нет возможности удостовериться, что эти голоса были отданы избирателями в день выборов или накануне? И в какой степени в округах штата Флорида следовало провести пересчет избирательных бюллетеней в попытке как можно более точно определить результаты голосования?