Книга: Квантовые вычисления со времен Демокрита - Скотт Ааронсон

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

И это не специально выбранная цитата - нет, такого текста в книге процентов 70. Кстати об упоминавшемся здесь юморе автора – он есть, но очень саркастический и злой. Я вспоминаю безобидные шутки Хофштадтера, его тонкую иронию – он был похож на доброго дедушку, водящего тебя, кругами, по бесконечному замку. Здесь же Ааронсон ведет вас в лес, вы видите перед собой гигантскую гидру, он говорит, что она не кусается – а когда она отгрызает вам руку, хохочет, дескать, как он удачно пошутил. Да и лабиринт Хофштадтера был все-таки более-менее из нашего мира – а вот умозаключения Ааронсона это уже что-то совсем не из нашего. Отчасти это объяснимо – Хофштадтер сводит свои мысли к теореме Геделя о неполноте, и на выводах из нее он заканчивает – а Ааронсон, наоборот, стартует от нее – и заезжает на территории, на которые я не помню, чтоб заезжали в популярной литературе. Вообще, я не помню, чтоб в научно-популярной литературе так плотно подходили именно с точки зрения информатики – возможно, если бы какая-то «прослойка» существовала, то книгу воспринимать было бы значительно легче – а так мы прыгаем сразу в очень сложную тему, в которой, прям скажем, и без квантовых заворотов разобраться нелегко. По крайней мере ваш покорный слуга вполне спокойно относился к задачам, решаемым за полиноминальное время в детерминированной машине Тьюринга. Недетерминированные машины, конечно, воспринимаются уже сложнее – но тоже держишься. На вероятностных машинах я уже провис окончательно, ну а на квантовых…, впрочем, сами понимаете. Цель автора тоже была понятна – как Хофштадтер подводил читателя к Теореме Геделя, так и Ааронсон подводит нас к задаче о равенстве классов сложности P и NP (как ни странно, Гедель об этом тоже говорил, но формулировка проблемы подоспела значительно позже) - еще нерешенной, являющейся задачей тысячелетия, и позволяющей отвечать на вопросы, выходящие далеко за рамки информатики и даже квантовых компьютеров. Другое дело что теорема о неполноте значительно проще проблемы перебора, над которой человечество ломает зубы уже лет 40, и которая, судя по всему, действительно ключевая и к проблемам интеллекта, и к вопросам мироздания, и даже к божественному замыслу. Хорошо ли автор справляется со своей задачей? На мой взгляд – можно было бы все это описать понятнее. Через текст приходится именно что продираться, и конца этому темному лесу не видно. Ситуацию не спасает юмор (первоначально он меня коробил - особенно самолюбование автора, но потом свыкся. Где-то к 6-й главе он перестает раздражать) – ирония иногда приятна, но понятности она не добавляет. Понятно, что текст, в котором автор крутится вокруг проблемы тысячелетия, пробуя его на зуб – и не может быть легким, но все-таки хотелось бы чтоб он не был настолько сложным. Книга перенасыщена формулами. очень неинтуитивными задачами (о контринтуитивности квантовой механики автор предупреждает заранее – и мы не раз вспомним его предупреждение), размышлениями автора – и проглотить этот комок бывает ну очень сложно. Если по сути (разумеется, безумно упростив и переврав написанное), вот что мы можем вынести из этой книги? 1. Вопрос о равенстве классов сложности P и NP является ключевым на пути к созданию квантовых компьютеров, искусственных интеллектов и пр.; 2. Если вопрос будет решен в положительную сторону – это будет невероятная удача для человечества, т.к. дает ключ к автоматизации математических открытий и исследования мира. Отныне все это ставится на поток, и этим могут заниматься компьютеры. Так же положительное решение дает жесткое теоретическое обоснование для возможностей создания ИИ; 3. Решение вопроса в положительную сторону это такая удача, что автор не верит, что человечеству может так повезти. Вероятнее всего ответ на вопрос отрицательный; 4. Решение вопроса о равенстве классов сложности P и NP в отрицательную сторону выглядит более перспективным, т.к. заставит пересмотреть фундаментальные основы современной квантовой физики и информатики; 5. Автор не согласен с Пенроузом, в частности с его теорией, что в архитектуре мозга могут быть заложены элементы квантовой физики; 6. До появления ответа на вопрос о равенстве классов сложности P и NP ни у одной из сторон нет окончательных аргументов. Убедительные же аргументы есть у всех сторон, и автор извиняется перед Пенроузом за то, что когда-то поднимал его теорию на смех – переосмыслив ее он понял, что исчерпывающей аргументации для отметения этого варианта у него нет, а аргументы Пенроуза отметаются скорее на философском, чем на математическом уровне; 7. Современная картина мира исключает многие фантастические вещи, в т.ч. телепортацию; 8. Современную картину мира приходится пересматривать столько раз, и столько еще не решено – что это вовсе не означает, что телепортация невозможна; 9. Получи автор в руки работающий квантовый компьютер – он бы не придумал, что с ним сделать, и как его использовать; 10. Проблемы создания квантового компьютера мигом нас сталкивают с проблемой существования множества миров. Что с этим делать никто не знает. Влиятельных сторонников концепции множества миров очень немало (например, Дэвид Дойч ), и их аргументы серьезные; 11. Теория вероятностей, известная нам, непригодна для осуществления квантовых вычислений – как-минимум нам требуется туда добавить отрицательные и комплексные числа; 12. Полное клонирование (в физическом смысле) невозможно ввиду имеющихся в современной квантовой физике ограничений; 13. Это не значит, что клонировать нельзя, но это повлечет за собой слишком много этических проблем; 14. Автор сторонник теории «сильного ИИ», хотя имеющиеся у него данные, чем дальше, тем больше заставляют в этом усомниться; 15. По поводу ИИ – автор предлагает подождать миллиарды лет эволюции, и, глядишь, что-нибудь похожее на человека мы и сделаем. В обозримом будущем пока результата не видно; 16. Кстати, что такое разум, как его верифицировать и пр. – никто не знает. Так что ходим и будем ходить кругами еще долго; 17. Не исключено, что все, что человечество понавыдумывало в науке – химера, фикция, и реальная картина мира от нас очень хитро ускользает; 18. Ему смутно видится дальнейшее развитие науки – передовые края науки требуют совмещения такого количества научных областей на таком уровне, что это может оказаться не под силу человеку. Надежда на машины, и здесь мы возвращаемся к вопросу о равенстве классов сложности P и NP; 19. Какой бы не был замысел абстрактного мироздания – в его планы точно не входило, чтоб мы его понимали, а значит, что в самый ответственный момент вся наша теоретическая информатика может показать нам дулю, и бросить наедине с кучей теорией, которые работают не до конца, не так, и не тогда; 20. Чтоб во всем этом разбираться хорошо надо не просто курить траву – надо чтоб вместо мозгов была ядреная трава. Это невероятно сильная, сложная и интересная книга. Уровень ее очень высокий – поэтому я точно не буду рекомендовать ее никому, кроме как ядреным поклонникам темы. Балл отбирает, с одной стороны, все-таки чересчур завышенный уровень (где не надо), а с другой – редакторская и переводческая работа (переводчик пару раз позволил вставить ремарки в текст относительно современной политической системы США, и в частности, кто голосует за Трампа - это недопустимо). Я молчу про ошибки, которые встречаются – ужасно что там есть смысловые ошибки. Поймать их бывает совсем не так просто – простой корректор их не вычитает, здесь нужна научная редактура. Ну а научной редактуры в нашей стране традиционно нет никакой – хотя многие вещи можно было бы объяснить для отечественного читателя. И да, книга свежая – в США она вышла в 2013 году, но это вовсе не значит, что за прошедшие 5 лет нет вещей, о которых бы стоило упомянуть – этим тоже могло бы озаботиться издание. Теперь я прям в раздумье – что еще более ядреное, но при этом научно-популярное мне попадется? Планка Пенроуза оказалась побита уж очень быстро.