|
На существующих в настоящее время свидетельствах, не имея в руках доказательства или контрпримера, просто невозможно узнать, является ли теория струн конечной. Свидетельства могут быть прочитаны одним из двух способов. После огромной тяжелой работы (хотя и выполненной всего лишь горсткой людей) имеются несколько частичных доказательств. Это можно расценивать или как ясное свидетельство, что предположение верно, или что что-то неправильно. Если такие талантливые физики пытались и не сумели, и если каждая попытка остается незавершенной, это может быть потому, что само предположение, которое они пытаются доказать, неверно. Причина того, что математика изобретает идею доказательства и делает ее критерием для уверенности, в том, что человеческая интуиция слишком часто оказывается ошибочной. Широко распространенные предположения, в которых все уверены, временами оказываются ложными. Это не проблема математической строгости. Физики обычно не стремятся к такому же уровню строгости, который требуют их собратья-математики. Имеется много интересных и широко принятых теоретических результатов, которые не имеют математического доказательства. Но это не тот случай. Отсутствует доказательство конечности теории струн даже на физическом уровне строгости. Установив это, я не имею точки зрения на то, окажется суперсимметричная теория струн конечной или нет. Но если нечто, настолько центральное для утверждения теории, мыслится как верное, должна быть проделана работа, чтобы перевести эту интуицию в доказательство. Будьте уверены, имеется много случаев, когда популярные предположения остаются недоказанными в течение поколений, но обычно это происходит потому, что ключевые прозрения являются неправильными. Даже если конечный результат доказывает то, в чем каждый и так был уверен, усилия обычно окупаются приобретением нами намного более глубокого проникновения в область математики, которая впервые дала начало предположению. Мы еще вернемся к вопросу, почему конечность теории струн является такой спорной проблемой. А пока мы просто должны заметить, что это не изолированный пример. Несколько ключевых предположений, которые двигали две струнные революции, остались недоказанными. Они включают сильно-слабую дуальность и дуальность Маладасены. В обоих случаях имеется множество указаний, что некоторые формы соотношений между различными теориями верны. Даже если строгая эквивалентность, заявляемая в предположениях, ложна, все равно имеются важные идеи и результаты. Но при любой реалистичной оценке мы должны проводить различие между предположением, свидетельством и доказательством. — 166 —
|