|
В целом мы видим убедительные причины поместить [предположение Малдасены о дуальности] в категорию верных, но не доказанных. В самом деле, мы рассматриваем его почти на том же основании, как и такое математическое предположение, как гипотеза Римана. Оба предположения обеспечивают неожиданные связи между кажущимися различными структурами ... и каждое сопротивляется как доказательству, так и опровержению, несмотря на сконцентрированное внимание. Я никогда не слышал, чтобы математик ссылался на результат, как на "верный, но не доказанный", но, кроме того, изумляет в этом утверждении, что авторы, два очень умных человека, игнорируют очевидную разницу между двумя случаями, которые они обсуждают. Мы знаем, что обе структуры, связанные гипотезой Римана, математически существуют; что под вопросом только предполагаемые отношения между ними. Но мы не знаем, существуют ли реально как математические структуры теория струн или суперсимметричная калибровочная теория; на самом деле их существование является частью того, что находится под вопросом. Что эта цитата делает ясным, так это то, что эти авторы основываются на предположении, что теория струн является хорошо определенной математической структурой, – несмотря на широкое согласие о том, что, даже если она верна, мы не имеем идеи, что это за структура. Если вы не делаете это недоказанное предположение, тогда ваша оценка подтверждения самой сильной версии предположения Малдасены должна разойтись с их оценкой. Когда речь идет о защите их уверенности в этих недоказанных предположениях, струнные теоретики часто отмечают, что нечто располагает "общей уверенностью" в сообществе струнной теории, или что "нет здравомыслящей личности, которая бы сомневалась, что это верно". Они, кажется, чувствуют, что апелляция к консенсусу внутри их сообщества эквивалентна рациональному аргументу. Вот типичный пример из блога хорошо известного струнного теоретика: Каждый, кто не проспал последние 6 лет, знает, что квантовая гравитация в асимптотически анти- де Ситтеровом пространстве имеет унитарную временную эволюцию. ... С большим накоплением подтверждений для AdS/CFT, я сомневаюсь, что имеется много остающихся отказников, кто сомневается, что вышесказанное утверждение имеет место не только в полуклассическом пределе, который рассматривал Хокинг, но и в полной непертурбативной теории. (Курсив мой.) Нехорошее чувство признавать необходимость быть одним из отказников, но детальное изучение доказательств заставляет меня быть им. — 241 —
|