В главе 5 представлена молодая сестра теории вычислимости – теория вычислительной сложности, которая в дальнейшем играет в книге центральную роль. Я пытаюсь проиллюстрировать, в частности, как вычислительная сложность позволяет нам методично брать «глубокие философские загадки» о пределах человеческого знания и превращать их во «всего лишь» безумно сложные нерешенные математические задачи, в которых, по мнению некоторых, отражается большая часть того, что нам хотелось бы знать! Невозможно придумать лучший пример такого превращения, чем так называемая проблема перебора, или вопрос о равенстве классов сложности P и NP, о котором я расскажу в главе 6. Затем, в качестве разогрева перед квантовыми вычислениями, в главе 7 будут рассмотрены многочисленные применения классического понятия случайности – как в теории сложности вычислений, так и в других областях жизни; а глава 8 объяснит, как при помощи идей из области вычислительной сложности начиная с 1970-х гг. удалось по-настоящему революционизировать теорию и практику криптографии.
Все это – всего лишь подготовка сцены для самой тяжелой части книги – главы 9, в которой представлен мой взгляд на квантовую механику как «обобщенную теорию вероятностей». В главе 10 объясняются основы моей собственной научной области – квантовой теории вычислений, которую можно кратко определить как соединение квантовой механики и теории вычислительной сложности.
В качестве «награды» за упорство глава 11 предлагает критический разбор идей сэра Роджера Пенроуза, убежденного, как известно, в том, что мозг – это не просто квантовый компьютер, но квантовый гравитационный компьютер, способный решать невычислимые по Тьюрингу задачи, и что это или что-то подобное можно показать при помощи теоремы Гёделя о неполноте. Указать на проблемы и недостатки этих идей проще простого, и я это делаю, но еще интереснее, как мне кажется, задаться вопросом о том, не скрываются ли все же в рассуждениях Пенроуза крупицы истины.
В главе 12 рассматривается то, что я считаю главной концептуальной проблемой квантовой механики: не то, что будущее неопределенно (а кому до этого есть дело?), но то, что прошлое также неопределенно! Я разбираю две очень разные реакции на эта проблему: во-первых, популярное среди физиков обращение к декогеренции и «эффективной стреле времени» на базе Второго начала термодинамики; и во-вторых, «теории со скрытыми параметрами», такие как теория волны-пилота (она же теория де Бройля – Бома). Я считаю, что теории со скрытыми параметрами, даже если они будут отвергнуты,