Десять великих идей науки. Как устроен наш мир. - [155]

, согласно которому любое утверждение либо истинно, либо ложно. Этот закон оказывается не выполняющимся в интуиционистской математике, поскольку в ней может существовать утверждение, которое не может быть доказано или является логически неразрешимым. В любом случае, это не та ситуация, в которой утверждение либо истинно, либо ложно, лишь бы это когда-либо могло быть доказано. Одним из следствий такого положения дел является то, что утверждение «неверно, что это предложение ложно» не эквивалентно утверждению «это предложение истинно». В то время как мы могли бы утверждать, что сказать «неверно, что в коробке с бесконечным числом шаров найдется шар не красного цвета» это то же, что сказать «все шары в коробке красные», интуиционист отверг бы такое заключение. Согласно интуиционизму, истинность утверждения «в коробке найдется шар не красного цвета» может быть установлена только перебором всех находящихся в коробке шаров, что невозможно в случае бесконечного набора. Еще одним следствием такого положения является невозможность доказать некоторое утверждение, используя аргумент reductio ad absurdum, то есть показать, что отрицание этого утверждения ложно или ведет к противоречию. Для интуициониста единственно приемлемым утверждением является такое, доказательство которого может быть явно построено и требует конечного числа шагов.

Давид Гильберт (1862-1943), прекрасный танцор и любитель пофлиртовать, был одним из наиболее влиятельных математиков двадцатого столетия. Он, как и Кант, родился в Кенигсберге, в Восточной Пруссии (по странному совпадению, Гольдбах тоже родился там). Он знаменит, в частности, тем, что сформулировал проблемы математики, которые, по его ощущениям, на грани веков, то есть в начале двадцатого века, являлись самыми выдающимися. С тех пор многие математики пытались разрешить представленные Гильбертом проблемы, сообщение о которых он сделал на Втором Международном конгрессе математиков в Париже в 1900 г. В лекции были представлены десять проблем; пока Гильберт работал над версией для публикации, их число выросло до двадцати трех. Влияние этих проблем — которые правильнее считать комплексом из группы проблем и намеков на проблемы, чем двадцатью тремя точно сформулированными отдельными экзаменационными вопросами — проистекает из того, что они представляли собой ответ на вопрос о том, что считать хорошей проблемой. Так, проблемы, предъявленные Гильбертом, стоили того, чтобы потратить время на их решение: они были трудными, но не выглядели нерешаемыми, а решение их осветило бы более широкий круг вопросов, чем те, которые они содержали.

Некоторые из этих проблем решены; некоторые оказались неразрешимыми; иные все еще подвергаются атакам исследователей. Некоторые из проблем, в том виде, в котором Гильберт их сформулировал, являются настолько грандиозными, что неясно, будет ли когда-нибудь получено их решение, столь же определенное, как для других проблем. Например, одной из грандиозных проблем была аксиоматизация физики, утверждение ее на кратком и надежном основании, как это проделал Евклид для своего варианта геометрии, а он, Гильберт, строго формализовал его в своем авторитетном труде Grundlagen der Geometric (Основания геометрии, 1899). То, что он здесь имел в виду, можно истолковать, как формулирование «общей теории всего». Однако большая часть этих проблем вполне опеределенна, особенно если их великодушно интерпретировать. Например, они включали доказательство континуум-гипотезы Кантора (которая оказалась недоказуемой) и гипотезы Римана о том, что некоторая определенная функция комплексного переменного z обращается в нуль на бесконечном множестве значений z, каждое из которых имеет действительную часть, равную 1/2 (рис. 10.9).

Рис. 10.9. Известно, что все решения уравнения 1 + 1/2^z + 1/3^z + 1/4^z + … = 0, где z — комплексное число, лежат в окрашенной полосе между 0 и 1. Одна из форм гипотезы Римана утверждает, что все решения этого уравнения на самом деле лежат на центральной линии полосы (как обозначено маленькими кружками), на которой действительная часть равна 1/2 в каждом случае.

Последняя проблема может показаться не слишком уместной, но на самом деле она имеет фундаментальную важность для изучения простых чисел; она остается нерешенной и считается одной из важнейших нерешенных проблем математики. Позднее мы встретимся с двумя другими проблемами Гильберта явно. Его второй проблемой, которую атаковал и решил отрицательно Гёдель, было доказательство непротиворечивости аксиом арифметики. Его десятой проблемой, так называемой Enischeidungsproblem (проблема решения), которую также атаковали и решили отрицательно Алан Тьюринг и Апонз Чёрч, было обнаружение процесса, посредством которого можно было бы определить, решаемо ли уравнение за конечное число шагов или нет.

Гильберт развил также философию математики, которая стала называться формализмом. Он видел математику как два плотно склеенных листа: один лист состоит из конечных расположений символов, получаемых с помощью применения определенных правил. Эти символы просто образуют определенный рисунок на странице и совершенно лишены смысла. Такие бессмысленные рисунки и есть то, что мы на самом деле понимаем под математикой. Даже аксиомы системы являются просто строчками значков, из которых вытек смысл, интеллектуальными трупами, а новые картинки выводятся из этих строчек посредством применения абстрактных правил. С этой точки зрения математики являются дизайнерами обоев. Единственные надежные доказательства, согласно Гильберту, являются