# Боб Кук: как визуальный язык диаграмм позволяет школьникам решать задачи магистров Оксфорда Источник: https://www.youtube.com/watch?v=s0oF4olxIVQ Канал: The Royal Institution Опубликовано: 07.01.2025 --- Революция в преподавании квантовой физики: Боб Кук (Bob Coecke) представляет новый визуальный язык, который позволяет школьникам решать задачи уровня магистров Оксфорда. Вместо громоздких уравнений и гильбертовых пространств эксперт предлагает использовать систему «пауков» и диаграмм, фокусируясь не на составе частиц, а на отношениях между ними. ## 🧠 Кризис классического языка квантовой механики [[JUMP:0:14]] Традиционно квантовая физика считается дисциплиной, требующей как минимум университетского диплома и глубоких знаний высшей математики [0:55]. Однако Боб Кук утверждает, что сложность предмета обусловлена не самой природой реальности, а устаревшим языком её описания. Отцом нынешнего математического аппарата квантовой механики является Джон фон Нейман (John von Neumann) [4:59]. В 1932 году он опубликовал фундаментальный труд «Математические основы квантовой механики», введя понятие гильбертова пространства. Тем не менее, уже в 1935 году в письме к Гаррету Биркхоффу фон Нейман признался, что больше не верит в абсолютность гильбертовых пространств для описания квантового мира [5:50]. Он считал этот формализм «подручным средством», которое не передаёт истинную суть явлений [6:02]. Одной из ключевых концепций фон Неймана стал постулат о коллапсе: процесс наблюдения неизбежно возмущает квантовую систему. Боб Кук приводит аналогию с ребёнком в тёмной комнате, который пытается найти воздушный шарик: как только рука касается шарика (происходит измерение), он отлетает в сторону, меняя своё состояние [8:14]. ## 🤝 От атомизма к релятивизму: подход Шрёдингера [[JUMP:9:04]] В то время как фон Нейман фокусировался на измерениях, Эрвин Шрёдингер (Erwin Schrödinger) видел суть квантовой механики в другом — во взаимодействии систем [9:44]. По мнению Шрёдингера, когда две системы вступают в физическое взаимодействие, они перестают быть отдельными объектами и превращаются в единое целое, где описание частей теряет смысл, уступая место описанию отношений между ними [10:39]. Боб Кук противопоставляет два философских взгляда на мир: * **Атомизм (Демокрит):** Попытка понять целое через его мельчайшие составляющие (частицы, гены). Это доминирующая парадигма западной науки [12:40]. * **Релятивизм (Лейбниц):** Понимание объекта через его отношения с другими объектами. Боб Кук считает, что квантовая механика требует возврата именно к этой логике, которой дети владеют интуитивно до того, как их переучивает классическая школа [13:58]. В качестве примера приводится концепция близнецов: зная, что перед нами один из близнецов, мы понимаем, что любое свойство, обнаруженное у него (цвет глаз, волос), автоматически будет принадлежать и второму, хотя изначально мы ничего не знали о них как об индивидах [11:48]. ## 🎨 Визуальная математика Роджера Пенроуза [[JUMP:15:01]] Третьим столпом нового подхода стали работы Роджера Пенроуза (Roger Penrose). Будучи студентом, Пенроуз испытывал трудности с громоздкими символьными записями в общей теории относительности и начал заменять их диаграммами в своих блокнотах [15:52]. Пенроуз трансформировал символы с индексами в узлы и линии: * Индексы стали «входами» и «выходами» (проводами). * Математические операторы превратились в «блоки» или «узлы». Боб Кук объединил идеи Шрёдингера (фокус на композиции систем) и Пенроуза (визуальное представление), создав полноценную графическую математику [17:12]. Этот подход, изначально развивавшийся в теоретической информатике, позволил описывать квантовые процессы как потоковые диаграммы (flowcharts) [18:05]. ## 🎓 Оксфордский эксперимент: дети против профессоров [[JUMP:22:05]] В начале 2023 года Боб Кук и Стефано Гогозо (Stefano Gogioso) опубликовали книгу *«Quantum in Pictures»* [18:48]. Чтобы доказать эффективность визуального языка, они провели эксперимент с учащимися старших классов (15–17 лет) в Великобритании [26:09]. Детали эксперимента: * 70 случайно отобранных школьников прошли восьминедельный онлайн-курс [24:59]. * Программа соответствовала курсу магистратуры Оксфордского университета [25:41]. * В конце обучения детям дали реальный экзамен для магистров Оксфорда, переведённый на язык диаграмм [27:41]. Результаты оказались феноменальными: более 50% школьников сдали экзамен с отличием (distinction), показав результаты выше, чем типичная группа студентов-физиков [28:20]. При этом большинство участников тратило на учебу всего 1–2 часа в неделю [30:06]. Эксперимент показал, что визуальный метод снимает «страх перед математикой» и делает изучение квантов увлекательным [31:25]. ## 🕷️ Механика ZX-исчисления: провода и пауки [[JUMP:32:59]] Новый язык Боба Кука строится на предельно простых правилах манипуляции графическими объектами: 1. **Провода и блоки:** Квантовые системы текут по проводам. Блоки (boxes) — это операции над ними. Входные данные подаются снизу, выходные — сверху [33:52]. 2. **Пауки (Spiders):** Это узлы с несколькими «ногами» (входами и выходами) [37:42]. * **Зелёные пауки** и **Красные пауки** — основные элементы. * **Правило слияния:** Если два паука одного цвета соединены проводом, они сливаются в одного большого паука [39:12]. * **Правило аннигиляции:** Если между красным и зелёным пауком есть ровно два параллельных провода, эти провода исчезают [40:05]. Этот метод, получивший название **ZX-calculus**, позволяет упрощать сложнейшие квантовые алгоритмы до элементарных схем [45:13]. По словам эксперта, такие компании как IBM и Google уже начинают использовать ZX-исчисление для оптимизации квантовых схем и исправления ошибок в вычислениях [1:01:21]. ## 🌐 Классика против Кванта в одной картинке [[JUMP:45:28]] Одним из преимуществ визуального языка является возможность совместить классические и квантовые данные в одной диаграмме. В традиционной математике это требует сложнейших матричных преобразований, но в языке пауков всё решается толщиной проводов: * **Один провод** — классический бит (информация) [46:31]. * **Два провода** — квантовый кубит [46:45]. * **Процесс измерения** — это просто паук, который преобразует двойной провод в одинарный [46:40]. Это наглядно объясняет квантовую неопределённость: если мы кодируем данные в «зелёном» режиме, а измеряем в «красном», связи между входом и выходом исчезают, и мы получаем чистый шум [50:13]. ## 🎸 Будущее: ИИ и квантовая музыка [[JUMP:1:18:21]] Боб Кук отмечает, что область применения ZX-исчисления постоянно расширяется. Сегодня его команда в компании Quantinuum работает над «объяснимым» искусственным интеллектом (Interpretable AI) [1:18:29]. В отличие от классических нейросетей («чёрных ящиков»), квантовый ИИ на базе композиционной структуры диаграмм позволяет точно проследить логику принятия решений [1:19:34]. Кроме того, технология находит применение в искусстве. В 2021 году Боб Кук и его коллеги стали первыми, кто сгенерировал музыку с помощью квантового компьютера [1:20:02]. Их трек «Bob’s Cigar Box» даже занял первое место в нишевых чартах. Сейчас в Лондоне существует компания MOD, которая занимается созданием реальных квантовых музыкальных инструментов, используемых на крупных фестивалях, таких как Wacken и Lowlands [1:21:08].