Великая Теорема Ферма

В начале XX века физики построили «полную» теорию атома: вокруг ядра, состоящего из протонов и нейронов, обращаются электроны. Протоны, нейроны и электроны были горделиво провозглашены физиками полным набором ингредиентов, из которых состоит Вселенная. Затем анализ космических лучей обнаружил существование других элементарных частиц — пионов и мюонов. Еще больший переворот в физике произошел в 1932 году, когда было открыто антивещество — существование антипротонов, антинейтронов, антиэлектронов и т. д. К тому времени физики, занимавшиеся изучением элементарных частиц, не могли с уверенностью сказать, сколько существует различных частиц, но по крайней мере утверждали, что обнаруженные частицы действительно элементарны, т. е. неделимы. Так продолжалось до 60-х годов, когда появилось понятие кварка. Протон, так же, как нейтрон, пион и мюон, оказался состоящим из кварков, несущих электрический заряд, равный дробной части заряда электрона. Мораль всей этой истории в том, что физики непрестанно меняют свою картину мира, а иногда даже стирают ее совсем и начинают рисовать с самого начала. В следующем десятилетии самое представление о частице как о точечном объекте может претерпеть замену на представление о частицах как о струнах — тех самых струнах, которые, возможно, послужат наилучшему объяснению гравитации. Согласно теории струн, трубки длиной в одну миллиардную миллиардной миллиардной миллиардной метра (такие маленькие, что они кажутся точками) могут совершать различные колебания, и каждое такое колебание порождает определенную частицу. Такое представление аналогично открытию Пифагора, обнаружившего, что одна струна лиры может порождать различные ноты в зависимости от того, как она колеблется.

Писатель-фантаст и футуролог Артур Кларк писал, что если какой-нибудь знаменитый профессор утверждает, будто нечто несомненно истинно, то весьма вероятно, что на следующий день это нечто окажется ложным. Физическое доказательство ненадежно и шатко. В то же время математическое доказательство абсолютно и лишено и тени сомненья. Пифагор умер в полной уверенности, что его теорема, бывшая истиной в 500 году до н. э., останется истинной навсегда.

Физика живет, словно подчиняясь решению суда. Теория считается верной, если имеется достаточное количество данных, «неопровержимо» подтверждающих ее предсказания. Иное дело — математика. Она не полагается на данные, полученные в результате могущих оказаться ошибочными экспериментов, а строит свои заключения на основе «железной», т. е. не знающей ошибок, логики. Примером различия между физическим и математическим подходом может служить задача о шахматной доске с выпиленными угловыми полями (рис. 3).

Рис. 3

Перед нами шахматная доска, от которой два противоположных угловых поля отпилили так, что осталось только 62 поля. Возьмем 31 кость домино таких размеров, что каждая кость накрывает ровно два шахматных поля. Вопрос: можно ли разложить 31 кость домино на шахматной доске так, что все 62 поля окажутся покрытыми домино? К решению задачи существуют два подхода.

1) Физический подход

Физик пытается решить задачу экспериментально и, перепробовав с дюжину различных вариантов размещения домино на шахматной доске обнаруживает, что все они заканчиваются неудачей.

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

2) Математический подход

Математик стремится решить задачу, выстраивая цепочку логических аргументов, приводящую к заключению, вне всяких сомнений правильному и остающемуся безупречным навсегда. Одна из таких цепочек логических аргументов выглядит следующим образом.

- Оба угловых поля, выпиленные из доски, — белые. Следовательно на доске остались 32 черных поля и только 30 белых поля.

- Каждое домино покрывает два смежных поля, а смежные поля всегда отличаются по цвету, т. е. одно поле черное, а другое — белое.

- Следовательно, независимо от расположения домино на шахматной доске, первые 30 костей, выложенных на доску, должны покрыть 30 белых и 30 черных полей.

- Это означает, что при любом раскладе всегда останется одна домино и два непокрытых черных поля.