Все заголовки, ссылки, цитаты и структура списков на месте, длинного тире нигде не осталось. Вот очеловеченный вариант:
Коротко
Физик Алексей Семихатов тянет через всё выступление один сюжет: фундаментальная физика необъяснимо математична, а сама математика стоит на понятиях, которые никак не определяются (число 1, операция 1+1, множество, функция), и из них вырастает всё здание. Он показывает это на цепочке историй, где разрозненные открытия оказываются одним и тем же: риманова поверхность и точка ветвления, солитон Рассела и уравнение Кортевега-де Фриза, задача Ферми-Паста-Улама, интегрируемые системы с бесконечным числом законов сохранения. Отдельная линия про то, что уравнения умнее своих авторов: Эйнштейн до 1939 года отрицал чёрные дыры, хотя они следуют из его же уравнений, а кот Шрёдингера, просто неизбежное следствие линейности уравнения Шрёдингера, вовлечение в запутанность. Разбирается многомировая интерпретация Эверетта и её слабое место: проблема вывода вероятностей. В финале, длинная биография Шрёдингера: бегство от нацистов и спасение в католической Ирландии.
Главный тезис
Математика замкнута в себе и живёт по своим законам, но малое её подмножество необъяснимо точно описывает физический мир, и человек тут не хозяин, а тот, кто открывает уже существующую принудительность.
Ключевые идеи
- 1:07: стоит нарушить один закон сохранения, и разваливается непредсказуемо много всего остального; в Quake нарушение сохранения импульса дало распрыжку, а в жизни мир предсказуем именно потому, что нарушать нельзя.
- 7:46: Риман решил проблему двузначности корня не выбором «настоящего» значения, а построил риманову поверхность, где обоим корням «живётся привольно», каждому своя точка.
- 6:36: обход точки ветвления переносит тебя на другой лист поверхности; это буквально сказочная избушка на курьих ножках и переход в мир мёртвых, только на языке комплексного анализа.
- 11:09: доклад Римана о геометрии был сделан без единой формулы и его поняли; спикер сравнивает тогдашний уровень докладчика и слушателя с нынешним, где рецензент не дочитывает введение.
- 15:14: математика устроена как дерево с множеством листьев и малым числом веток: фундаментальных объектов мало, и к одной сердцевине можно прийти совсем разными путями (программа Ленглендса как пример).
- 15:26: как эволюция переиспользует рецепторы (потому на осьминога действует ЛСД), так и математика раз за разом переоткрывает одни и те же немногочисленные хорошие структуры.
- 16:27: солитон Рассела, уравнение Кортевега-де Фриза, задача Ферми-Паста-Улама, работы Крускала с коллегами и одномерное уравнение Шрёдингера оказались одной историей про интегрируемые системы.
- 23:32: интегрируемая система держит солитон целым, потому что у неё бесконечно много законов сохранения; закон сохранения это запрет, и он не даёт волне распасться.
- 28:51: фундаментальные законы удивительно математичны; Галилей про «книгу природы», а Вигнер про unreasonable effectiveness, необъяснимую эффективность математики.
- 30:20: Нептун открыли на бумаге: Адамс и Леверье годами считали от руки и указали астрономам, куда смотреть, планету нашли не глядя.
- 32:15: по Бурбаки всё здание математики стоит на пяти неопределяемых понятиях; число 1 и операцию 1+1 нельзя определить ни через что, но выводы из них железны и навсегда.
- 36:03: на число нельзя наткнуться в природе, но инопланетяне обязаны знать пи, иначе не рассчитали бы бак и не долетели; математика одновременно продукт ума и что-то универсальное.
- 8:11: риманова геометрия была придумана про другое, а Гроссман подсказал Эйнштейну, что это ровно аппарат для гравитации; Гильберт вывел то же уравнение из принципа наименьшего действия.
- 53:47: Эйнштейн отрицал чёрные дыры и в 1939 писал, что шварцшильдовы сингулярности в природе не реализуются, но его же уравнения оказались умнее автора.
- 1:11:25: кот Шрёдингера это не парадокс, а неизбежное следствие линейности уравнения Шрёдингера: оно обязано вовлекать наблюдателя в запутанность, а многомировая интерпретация просто честно доводит это до параллельных вселенных.
Почему это важно
Разговор идёт о границе, где наука перестаёт щупать мир руками и уходит в математику: бозон Хиггса не пробегает мимо как мышка, атом не потрогать, у электрона нет свойства находиться в точке. Выигрывает тот, кто принимает эту опосредованность и доверяет формуле больше, чем интуиции, Шварцшильд с точным решением из штабной землянки, Гелл-Манн, перенёсший представления группы в природу и получивший кварк. Проигрывают те, кто цепляется за здравый смысл трёхмерного опыта, включая самого Эйнштейна с чёрными дырами и с квантовой запутанностью. На кону статус двух лучших теорий человечества, ОТО и квантовой механики: обе работают идеально и обе не объясняют, что на самом деле происходит за математической схемой. Упомянуты Бор с Копенгагенской интерпретацией, Эверетт с многомировой, Ленинградская и Новиковская школы, и вопрос, математичен ли мир до конца, остаётся открытым.
Идеи
- Распрыжка в Quake как учебный пример: сломай сохранение импульса, и посыплется куча несвязанных вещей, причём заранее не угадать каких.
- Концепцию мультивселенной массово знают благодаря Марвелу, но фантасты и сказки описали ветвление задолго до физики.
- У вавилонян с минусом было «не очень хорошо», второй корень их не смущал, они звали его «не пойми что».
- Риманова поверхность в трёхмерии имеет точку-пинч с самопересечением, а в четырёхмерном пространстве никакой особенности нет.
- Австрийцы великие пиарщики: убедили мир, что Моцарт австриец, а Гитлер немец, хотя ровно наоборот.
- Раньше сделать доклад у Гаусса значило принести на защиту риманову геометрию; сегодня доклад ищут «на среду, потому что нет докладчика».
- Наука превратилась из узкого клуба, ищущего устройство мира, в индустрию и фрактальное дерево, где каждый сидит на своей подветке.
- Работа-переводчик, показывающая, что «вот это у вас» и «вот это у них» одно и то же, дико ценна, но её обесценивают как «ничего нового».
- На осьминога капнули ЛСД, и он стал дружелюбнее, потому что рецепторы не менялись миллионы лет.
- Весь код ранней космонавтики и вычислений писали женщины (Маргарет Гамильтон, программистка группы Ферми-Паста-Улама), айтишниками до коммерциализации были они.
- Лос-Аламос сначала построил один из первых компьютеров, а потом не мог придумать, что на нём считать.
- Ожидали хаос, увидели странно устойчивое поведение, так родился парадокс Ферми-Паста-Улама, ставший «последней загадкой Ферми».
- Планету можно найти «незря», чистым вычислением от расхождений в движении Урана.
- Математика строит вечные теоремы из понятий, которые сама не в состоянии определить.
- Инопланетяне с совершенно другой головой обязаны знать пи, иначе физически не долетят.
- Гильберт написал Эйнштейну уравнение, чтобы «индексы сходились», а по другой версии дал лагранжиан-скалярную кривизну, простейший объект римановой геометрии.
- Существенная часть открытия и в математике, и в физике это угадывание: сначала видишь ответ, потом доказываешь.
- Тензоры описаны как многомерные осьминоги, которые цепляются щупальцами-индексами и «сливаются в экстазе» при свёртке.
- Шварцшильд написал точное решение уравнений Эйнштейна в окопе Восточного фронта через два месяца после доклада и вскоре умер от аутоиммунной болезни.
- Полвека всё знание о чёрных дырах было формулой на бумаге, никаких астрономических подтверждений, только выводы из решения.
- Название «чёрная дыра» родилось, когда Уилер подхватил слово журналистки спустя полвека после Шварцшильда.
- Подольский слил EPR в New York Times до научной публикации, заголовок «Einstein Critic Attacks Quantum Theory», подзаголовок никто не прочёл.
- Генератор квантовых случайных чисел якобы делит вселенную надвое, а приложение нет: программа детерминистична.
- В многомировой интерпретации при этическом квантовом выборе случается и добро, и зло со стопроцентной вероятностью, что ломает само понятие вероятности.
- Цена виски растёт экспоненциально: +6 лет выдержки примерно удваивают цену, а уменьшение объёма бутылки маскируют коробочкой.
- Экспонента стала народно понятной только в пандемию, когда рост из линейного вдруг обернулся миллионом заболевших.
- 22/7 это православная альтернатива дню пи 14 марта, первое рациональное приближение к пи.
- Ряд Рамануджана для пи выглядит отвратительно и сходится молниеносно, придумать его невозможно.
- Шрёдингер большую часть жизни жил с двумя-тремя женщинами, а придумал волновую механику на горнолыжном курорте со старой подругой за рождественские каникулы.
- Гейзенберг вывел матричную механику ночью на острове Хельголанд, сбежав туда от сенной лихорадки, и встретил рассвет на скале.
- Два формализма, матричный и волновой, казались враждебными, пока не выяснилось, что их связывает преобразование Фурье, это одно и то же.
Инсайты
- Обучение науки уходу за горизонт наблюдаемого: каждый следующий шаг знания всё сильнее опирается на математику, потому что прямой опыт кончается.
- Единство мира проявляется как сходимость разных путей к одной структуре; когда несовместимые на вид языки оказываются одним, это и есть открытие, а не тавтология.
- Малость фундаментального ядра математики означает, что переоткрытие неизбежно, и природа, и наука экономят на числе базовых объектов.
- Строгость выводов не спасает от произвольности оснований: самая точная из наук держится на аксиомах, которые принимаются, а не доказываются.
- Формула может опережать своего создателя, потому что содержание уравнения богаче интуиции того, кто его записал.
- Здравый смысл трёхмерного существа систематически проигрывает математике на масштабах, недоступных прямому опыту, и сопротивление ей (Эйнштейн против ЧД и запутанности) обычно ошибка.
- Линейность фундаментального уравнения принудительно тянет за собой контринтуитивные следствия вроде макроскопических суперпозиций, которых мы не наблюдаем, и это разрыв между теорией и опытом, а не дефект теории.
- Рабочая теория и понятая теория не одно и то же: квантовая механика идеально предсказывает и при этом молчит о том, что происходит между загрузкой и вероятностью.
- Интерпретация может быть математически незрелой: многомировая красива на конечном ветвлении, но пока не имеет аппарата для вероятностей, и потому проигрывает устоявшейся Копенгагенской.
- Институциональный консенсус (Бор) способен закрыть открытый вопрос в глазах поколений, выдав нерешённое за решённое.
- Признание непонимания честнее уверенного объяснения: «на этот вопрос сейчас ответить невозможно совсем» это позиция, а не слабость.
Цитаты
«Мало того, что everyone dies, мы все умрём, произойдёт ещё куча других неприятных вещей» 1:20
«Он подстроил геометрию так, чтобы алгебра выглядела демократично, чтобы оба корня были одинаково хороши» 7:46
«Нужно было просто понять, где им комфортно и привольно живётся. И он нашёл им дом» 7:55
«Prince of Mathematics» 9:01 Принц математики (о Гауссе)
«Нет, вы меня не убедили, но типа I'm not gonna push my skepticism» 13:12 Не буду настаивать на своём скептицизме
«Она превратилась из вот такого узкого клуба, где люди ищут то, как устроен мир, в такую индустрию» 14:03
«Свойство математики, что она очень маленькая. Очень много листьев, но очень мало веток» 15:18
«А словами нашего любимца Юджина Вигнера unreasonable effectiveness» 28:56 Необъяснимая эффективность (математики)
«Ты сидишь, берёшь бумажку, на ней пишешь какую-то херню, а дальше с другой стороны планеты кто-то кидает камень, и камень летит так, как ты предсказал» 29:26
«Математика не обязана работать» 31:39
«Я подчёркиваю, число 1 нельзя никаким образом ни через что определить» 32:15
«Но ни разу об число пять вы не спотыкались. Ну, просто никогда» 35:43
«Великие уравнения знают больше, чем их создатели, даже их великие создатели» 53:47
«Человек не хозяин математики. Он её просто открыл» 55:44
«Einstein Critic Attacks Quantum Theory» 1:06:25 Критик Эйнштейна нападает на квантовую теорию
«Ученый говорит, что квантовая механика не полна, даже если верна» 1:06:35
«Нильс Бор в течение поколений промыл мозги, убедив их в том, что проблема интерпретации квантовой механики была решена 50 лет назад» 1:19:10
«Так, нужно прямо вдохнуть и не дышать» 1:09:10
«Ей вообще пофигу наше трёхмерное пространство. Это мы тут в нём застряли» 1:23:26
«Там бабы бабами, а жена женой. Жена одна, баб много, жена одна» 1:30:56
«100 лет недосказанности» 1:24:26
Факты
- Эйнштейн в статье 1939 года утверждал, что шварцшильдовы сингулярности (будущие чёрные дыры) не могут реализовываться в природе.
- Точное решение уравнений Эйнштейна написал Карл Шварцшильд в 1915 году, будучи артиллерийским офицером на Восточном фронте, письмо в институт пришло в декабре.
- Решение Керра датируется 1963 годом и считается важным, но техническим усовершенствованием.
- Статья Эйнштейна-Подольского-Розена вышла в 1935 году и ввела понятие запутанности; сейчас это один из мировых чемпионов по цитируемости.
- Слово «запутанность» (Verschränkung, entanglement) придумал Шрёдингер; спикер считает, что по-русски лучше было бы «зацепленность».
- Ферми умер примерно в 1956 году; спикер оговаривается «чуть ли не в 56-м».
- Доклад Римана «о гипотезах, лежащих в основании геометрии» спикеры относят скорее к 1856 году, поправляя первоначальное «1861», признавая неуверенность в дате.
- 22/7 названо первым рациональным приближением к пи, отсюда «православный день пи» 22 июля против международного 14 марта.
- У Рамануджана есть очень быстро сходящийся ряд для пи с коэффициентами вроде 26390 и 1103 (спикер приводит числа по памяти, «типа 2860, 50Н плюс 1117»).
- Столетие квантовой механики приходится на 2025-2026 годы.
- Гейзенберг вывел матричную механику в июне 1925 года на острове Хельголанд в возрасте 25 лет; Шрёдингер вывел волновую механику на рубеже 1925-1926 годов на горнолыжном курорте.
- Шрёдингер в 1933 году занимал профессорскую позицию Макса Планка в Берлинском университете, бежал от нацистов, при аншлюсе оставил Нобелевскую медаль и уехал без вещей в Италию, затем в Ирландию по приглашению премьера Имона де Валеры (учителя математики по образованию).
- Гелл-Манн перенёс конечномерные представления группы (СУ-3 / SO(3)) в природу и предсказал кварк.
- Сахарова, по рассказу спикера, не вычеркнули из Академии наук, сославшись на то, что единственный прецедент исключения из академии был у фашистов (Эйнштейн и Шрёдингер из прусской академии).
- Уран открыт Гершелем около 1781 года (спикер называет «1991-м, по-моему», явная оговорка), данные о нём легли в расчёт Нептуна.
Источники
- Марвел и фильм «Тор» (мост Эйнштейна-Розена как «радужная херня»)
- Фильм про Рамануджана с Джереми Айронсом и «Умница Уилл Хантинг» как его пересказ
- «Лекции Якоби по динамике», прочитанные в Кёнигсбергском (ныне Калининградском) университете
- Ричард Фейнман (интеграл по траекториям, «обнюхивает все траектории»)
- Юджин Вигнер, «unreasonable effectiveness of mathematics»
- Галилей, «книга природы, написанная языком математики»
- Бурбаки (коллективный псевдоним группы математиков)
- Программа Ленглендса как пример единства математики
- Новый (готовящийся) труд Семихатова «100 лет недосказанности. Квантовая механика для всех в 25 эссе» и его предыдущая книга
- Люди и школы: Риман, Гаусс, Кортевег и де Фриз, Рассел, Ферми-Паста-Улам, Крускал, Гарднер, Миура, Новиков, Кричевер, Дубровин, Ленинградская школа; Эйнштейн, Гильберт, Гроссман, Шварцшильд, Керр, Бор, Гейзенберг, Шрёдингер, Подольский, Гелл-Манн, де Валера
Итог
Мир необъяснимо говорит на языке математики, которая сама себя объяснить не может, и лучшее, что умеет человек, это открыть эту принудительную красоту и признать, что за формулой он пока ничего не видит.
