# Геометрия кинзы: как арифметика дырок и хаос объясняют наш мир Источник: https://www.youtube.com/watch?v=tueAcSiiqYA Канал: Lex Fridman Опубликовано: 13.06.2021 --- Геометрия — это кинза в мире математики: её либо обожают за визуальную ясность, либо ненавидят за непохожесть на всё остальное. Однако за сухими формулами и топологическими узлами всегда скрывается человеческая драма — от романтизма Эвариста Галуа до принципиального затворничества Григория Перельмана. Этот текст раскрывает, как математика из абстрактной теории превращается в живой инструмент познания, где даже хаос и случайность подчиняются строгой логике. ## 🧠 Математическое мышление: от врожденных структур к геометрии ### Является ли математика «языком» нашего разума? [[JUMP:01:37]] Джордан Элленберг задается вопросом, насколько фундаментально математическое мышление для человеческой когнитивной системы. Рассуждая в терминах Ноама Хомского, где универсальная грамматика составляет «основу торта» нашего сознания, Элленберг пытается понять, стоит ли математика в одном ряду с языковыми способностями. По его мнению, крайне трудно представить себе занятие математикой без использования языка или мышления в категориях пропозиций. Тем не менее, он отмечает, что процесс манипулирования визуальными элементами и абстрактными объектами глубоко переплетен с нашей способностью к языковому конструированию. В конечном счете, и математика, и язык — это процессы, которые создаются через действие и постоянную эволюцию идей, выходящую за рамки простого поиска окончательного «доказательства». ### Геометрия: «кинза» в мире математики [[JUMP:05:45]] Джордан Элленберг сравнивает геометрию с кинзой: люди редко относятся к ней нейтрально — они либо страстно любят её за визуальную ясность, либо искренне недоумевают, почему она так сильно отличается от остального математического аппарата. Для многих геометрия становится «входными воротами» в науку, предлагая надежду на то, что мир, кажущийся хаотичным, можно постичь через элегантные и наглядные доказательства. Сам Элленберг вспоминает, как в детстве, разглядывая стереосистему с отверстиями в форме прямоугольной сетки $6 \times 8$, он осознал, что количество отверстий остается неизменным независимо от того, считаем ли мы их по строкам или по столбцам. Это «кинзовое» озарение, в котором алгебраический факт ($6 \times 8 = 8 \times 6$) обрел геометрическую интерпретацию, стало для него моментом глубокого эстетического и интеллектуального открытия. ### Романтизм, история и «героический» статус науки [[JUMP:19:10]] Развитие математики никогда не происходило в вакууме; оно неразрывно связано с человеческой историей и социальными потрясениями. Элленберг отмечает, как поражение Франции во франко-прусской войне подтолкнуло страну к радикальной модернизации математического образования, чтобы догнать Германию — этот процесс напоминает американский «спутниковский момент» времен холодной войны. В Советском Союзе же математика и наука обладали почти мистическим ореолом: они воспринимались не просто как академические дисциплины, но как суперсила, способная изменить мир и спасти человечество, что создавало атмосферу невероятной конкуренции и романтизации ученых. Этот культурный контекст был характерен и для XIX века, когда математика переплеталась с романтическим движением в поэзии и музыке. Ярким примером служит фигура Эвариста Галуа — математика, чья жизнь была полна драматизма, «эмоциональных» писем и трагического конца на дуэли. Галуа воплощал дух эпохи, стремящейся к трансцендентному и божественному через знание, демонстрируя, что математика создается людьми, которые живут и мыслят под влиянием морали и идеалов своего общества. *(Ранее в разговоре они также кратко затронули тему проблемы трёх тел и вклада Анри Пуанкаре в понимание хаотических систем.)* ## 🌌 Геометрия скрытых миров и природа хаоса [[JUMP:25:22]] ### Проблема трёх тел: рождение хаотической динамики [[JUMP:25:48]] Первые серьёзные успехи Джордана Элленберга в математике тесно переплетены с наследием великого французского математика Анри Пуанкаре. Пуанкаре первым осознал фундаментальную сложность системы трёх гравитирующих тел. В то время как движение двух тел, описываемое ещё Исааком Ньютоном, предсказуемо и классифицируемо — объекты либо движутся по эллиптическим орбитам, либо разлетаются по гиперболическим траекториям — добавление всего лишь третьего тела превращает задачу в «полный зоопарк». Это стало первым в истории примером хаотической динамики. Пуанкаре обнаружил, что в таких системах даже ничтожно малое изменение начальных условий способно кардинально изменить долгосрочное поведение системы. Устойчивые и неустойчивые траектории в этой системе оказываются переплетены между собой настолько причудливо, что долгосрочный прогноз становится невозможным. ### Топология и переход к многомерным фазовым пространствам [[JUMP:27:28]] Чтобы справиться с подобными задачами, Пуанкаре пришлось выйти за рамки привычной двух- и трёхмерной геометрии, с которой люди взаимодействуют ежедневно. Он разработал дисциплину, которую сам называл *analysis situs* (анализ расположения), а сегодня мы знаем её как топологию. Пуанкаре понял, что для описания физического мира недостаточно знать только положение объекта в пространстве ($x, y, z$). В каждый момент времени необходимо учитывать и скорость объекта. Таким образом, вместо изучения точки, движущейся в трёхмерном пространстве, математикам выгоднее рассматривать одну точку в шестимерном пространстве, объединяющем координаты положения и векторы скорости. Это абстрактное многомерное пространство получило название «фазовое пространство». Хотя идея рассмотрения пространств более высоких размерностей может показаться контринтуитивной, Пуанкаре настаивал: математический аппарат должен быть достаточно гибким, чтобы работать с любым количеством измерений. Как часто бывает в истории науки, эти абстрактные построения, разработанные из чисто теоретической необходимости, позже стали фундаментом для описания физической реальности — в частности, пространства-времени в теории относительности. ### Внутренняя геометрия и глобальная форма Вселенной [[JUMP:31:08]] Топология позволяет изучать свойства объектов «изнутри», не выходя за пределы их структуры. Это критически важно, когда мы пытаемся понять форму нашей Вселенной, ведь у нас нет возможности взглянуть на неё «снаружи». Джордан Элленберг поясняет это на примере гипотезы Пуанкаре, которая касается искривлённых трёхмерных пространств. Если мы хотим определить, является ли трёхмерное пространство «стандартным» (просто связанным), мы можем использовать интуицию, понизив размерность до поверхностей. Например, на поверхности кружки (объекта с топологией тора) можно нарисовать петлю, которую невозможно стянуть в точку, не разрезав поверхность, так как она «зацеплена» за ручку. Свойство «просто связанности» означает, что любую петлю можно стянуть в точку. Использование таких инструментов позволяет математикам и космологам обсуждать глобальную структуру Вселенной без необходимости визуализировать пространство в четырёх измерениях, что недоступно нашему восприятию. Ранее в разговоре Лекс Фридман и Джордан Элленберг обсуждали математическое мышление и другие аспекты, не относящиеся напрямую к геометрии пространств. --- ## 👖 Арифметика штанов, контрпримеры ИИ и неуловимый узел Конвея [[JUMP:50:29]] ### Арифметика отверстий: от соломинок к топологии штанов [[JUMP:50:29]] Разбирая классический шуточный спор о том, сколько дырок находится в обычной пластиковой трубочке, Джордан Элленберг предлагает переключить внимание на более наглядный предмет гардероба — штаны. Сколько отверстий в паре брюк? Большинство людей уверенно ответит, что три. Однако маленькая дочь математика предложила совершенно иную, чистую топологическую логику: в штанах всего две дырки, потому что пояс — это просто два соединенных вместе отверстия для ног. Этот детский инсайт удивительным образом отражает суть **гомологии** — ключевого раздела современной топологии, изучающего свойства геометрических объектов, которые остаются неизменными при непрерывных деформациях. Оказывается, у дырок есть своя собственная арифметика. Математическое выражение вида «пояс = левая штанина + правая штанина» — это не уравнение с числами, а строгое описание отношений между геометрическими структурами. С точки зрения современного математика, в соломинке действительно два отверстия, но одно из них является «отрицанием» другого. Элленберг иллюстрирует это метафорой с молочным коктейлем: какой бы объем жидкости ни втекал в один конец трубочки, точно такой же объем вытекает с другого конца, то есть они жестко взаимосвязаны. В случае со штанами действует то же правило сохранения потока: сумма того, что втекает через обе штанины, равна тому, что выходит через пояс. Хотя первые кирпичики в эту теорию заложили Анри Пуанкаре и Энрико Бетти, современный абстрактный взгляд на арифметику дырок окончательно сформировала легендарная женщина-математик **Эмми Нётер**. Именно благодаря ей топология получила тот строгий алгебраический фундамент, которым ученые пользуются сегодня. Размышляя о том, как передать эту красоту широкой аудитории, Элленберг с восторгом отмечает феномен современного «математического YouTube» и, в частности, работу Гранта Сандерсона (канал *3Blue1Brown*). Программная визуализация сложных концептов через код позволяет создавать новые ракурсы понимания, что по своей интеллектуальной силе близко к самому процессу доказательства теорем. ### Капча для человечества: сможет ли ИИ получить Филдсовскую премию? [[JUMP:1:01:59]] Лекс Фридман задает гостю интригующий вопрос: наступит ли день, когда система искусственного интеллекта будет удостоена Филдсовской премии — высшей награды в мире математики? Джордан Элленберг отвечает категоричным отказом, иронично замечая, что подобный скептицизм — это его персональная «капча», доказывающая, что он сам является человеком. Тем не менее, Элленберг глубоко заворожен тем, как ИИ меняет ландшафт чистой науки. Он призывает смотреть на проблему исторически: то, что раньше считалось передовым исследованием, сегодня превратилось в банальные автоматизированные вычисления. * **Пример из истории:** В 1890 году аспирант мог потратить целый год на вычисление инвариантов полиномиального кольца под действием конечной группы, и это считалось ценной диссертацией. * **Современность:** Сегодня практикующий математик просто вводит пару строк кода в специализированных системах компьютерной алгебры, таких как *Macaulay*, *Sage* или *Magma*, и получает результат за секунды. До сих пор попытки заставить алгоритмы самостоятельно доказывать прорывные и содержательные теоремы не приносили громких успехов. Однако ИИ уже стал незаменимым партнером в поиске **контрпримеров**. Джордан упоминает недавнюю научную работу, где нейросеть обучили искать объекты, опровергающие устоявшиеся математические гипотезы. И хотя алгоритм пока находит контрпримеры для не самых знаменитых теорем (с чем способна справиться группа упорных студентов), сама тенденция выглядит многообещающе. ### Девять страниц, изменившие топологию: узел Конвея и Лиза Пиччирилло [[JUMP:1:05:18]] В качестве примера чистой человеческой гениальности, превосходящей любые вычислительные мощности, Элленберг приводит захватывающую историю из теории узлов, связанную с легендарным математиком Джоном Конвеем. Десятилетиями ведущие топологи мира безуспешно бились над вопросом: является ли знаменитый **узел Конвея** так называемым «срезанным» (slice)? Эта сложнейшая задача касается того, может ли узел в трехмерном пространстве ограничивать определенный тип гладкой двумерной поверхности, помещенной в четырехмерное пространство. Вычислить это стандартными методами было практически невозможно. Решение пришло откуда не ждали. Аспирантка Техасского университета в Остине **Лиза Пиччирилло** справилась с загадкой всего за неделю. Ее итоговая научная работа, опубликованная впоследствии в MIT, поразила сообщество своей лаконичностью: статья занимала всего девять страниц, две из которых составляли графические рисунки и схемы узлов. > «Эта история заставляет задуматься о том, что мы вообще имеем в виду под словом "сложность" в математике, — размышляет Элленберг. — Была ли задача простой, раз ее решили так коротко? Или она была невероятно сложной, раз лучшие умы планеты пасовали перед ней двадцать лет?». Этот прорыв наглядно показывает, что за нагромождением тяжелых вычислений часто скрывается изящная и простая истина, до которой нужно лишь суметь додуматься. Ближе к концу этой части беседы Лекс Фридман и Джордан Элленберг также затронули тему Великой теоремы Ферма, исторической драмы вокруг доказательства Эндрю Уайлса и фундаментального принципа уникальной факторизации чисел на прайм-атомы. Однако этот масштабный пласт арифметики и теории чисел авторы подробно разбирают уже в следующей главе. ## 🌍 Геометрия невидимого: деформации Ферма, p-адические пространства и ловушка простоты [[JUMP:1:15:40]] ### Великая теорема Ферма: истинная ценность деформаций [[JUMP:1:15:40]] В конце XIX века математики осознали поразительный факт: в более общих числовых системах, отличных от привычных нам, перестает работать закон единственности факторизации — разложения числа на уникальный набор простых множителей. На первый взгляд это кажется катастрофическим усложнением, ломающим изначальную гармонию. Однако Джордан Элленберг убежден, что такие изломы прекрасны, ведь они открывают целые миры новых феноменов, которые попросту невидны через призму стандартной арифметики. Ярким примером этого служит легендарное доказательство Великой теоремы Ферма, предложенное Эндрю Уайлсом. Его истинная ценность для науки заключается вовсе не в самом факте решения трехсотлетнего уравнения, а в колоссальном пласте совершенно новой математики, созданной ради этого шага. В основе аргументации Уайлса лежит так называемая теория деформаций, одним из создателей которой был научный руководитель Элленберга — Бэрри Мазур. Джордан Элленберг напоминает знаменитый афоризм Анри Пуанкаре: «Математика — это искусство называть разные вещи одним и тем же именем». Мы легко соглашаемся, что два треугольника тождественны, даже если они просто сдвинуты в пространстве. Точно так же сложные математические объекты в работе Уайлса — представления Галуа и модулярные формы — можно «деформировать», то есть изменять на бесконечно малую, инфинитезимальную величину. Понимание того, в каких направлениях объект способен двигаться на микроуровне, позволяет математикам склеить локальную информацию и воссоздать структуру всего глобального пространства. Суть доказательства Уайлса и его коллеги Ричарда Тейлора как раз и свелась к демонстрации того, что два таких огромных глобальных пространства деформаций на самом деле тождественны (знаменитая часть доказательства, известная как $R = T$). ### Субъективность метрики: p-адические числа и инверсия расстояния [[JUMP:1:19:40]] Когда мы представляем себе «микроскопический сдвиг» объекта, наше сознание автоматически использует классическое евклидово расстояние. Однако само понятие дистанции не дано нам Богом — оно глубоко субъективно. Мы постоянно меняем метрики в повседневной речи (например, говоря о «близком родственнике»), а в сфере искусственного интеллекта инженеры вычисляют семантическое расстояние между словами через векторные эмбеддинги, что не имеет ничего общего с их алфавитным порядком в словаре. (Ранее в разговоре Лекс Фридман и Джордан Элленберг уже затрагивали тему того, как нейросети обучаются подобным сложным функциям близости). В теории чисел, которой занимается Джордан Элленберг, существует альтернативная, взламывающая интуицию концепция — p-адическое расстояние. Для обычного человека числа 1 и 2 близки, так как их разность минимальна. Но в рамках 2-адической метрики два числа считаются близкими, если их разность делится на большую степень двойки. Из-за этого возникает парадоксальная геометрия: например, числа 1 и 49 находятся чрезвычайно близко друг к другу, ведь их разность равна 48, что нацело делится на $16$ ($2^4$). В то же время 1 и 2 находятся далеко, а расстояние между 1 и $1/64$ ($2^{-6}$) оказывается по-настоящему огромным. Визуально эта структура напоминает фрактальное множество Кантора. Лекс Фридман предлагает изящную метафору: 2-адические числа похожи на двоичные числа, записанные задом наперед. Если в стандартной системе маленькое число начинается с множества нулей после запятой, то в 2-адической метрике число тем ближе к нулю, чем больше нулей стоит в его конце перед точкой. Именно в таком «вывернутом» p-адическом пространстве Эндрю Уайлс и рассматривал свои микродеформации. ### Понимание против доказательства: ловушка простой элегантности [[JUMP:1:24:09]] Переформулирование функции расстояния нужно ученым не ради сухих побед, а ради глубинного понимания структуры. Элленберг ссылается на знаменитое эссе великого геометра Билла Тёрстона «О доказательстве и прогрессе в математике»: наука — это не фабрика с жестким планом по выпуску теорем. Ее истинная цель — помогать людям понимать суть вещей, а новые доказательства служат лишь индикатором этого прогресса. Лекс Фридман предполагает, что альтернативные метрики могли бы перевернуть и социологию: если измерять дистанцию между людьми уровнем любви или эмпатии, а не географией, это открыло бы новые законы природы насилия, экономики и успешного предпринимательства. Этот вектор дискуссии выводит собеседников на культовую максиму, часто приписываемую Ричарду Фейнману: «Если вы не можете объяснить что-то просто, вы этого не понимаете». Джордан Элленберг категорически не согласен с этим утверждением: реальный мир устроен запредельно сложно, и лишь малая часть явлений поддается упрощению. Стремление во что бы то ни стало упростить концепт часто порождает не дистилляцию истины, а красивую «поэму» о ней, которая упускает ключевые механизмы. Пуанкаре считал, что в мире есть вещи «нечеловеческой сложности», и задача науки — находить те области, которые наш ограниченный когнитивный аппарат способен переварить. Великие математики прошлого относились к этой сложности по-разному. Пол Эрдёш верил в существование метафорической «Книги», где Бог хранит самые элегантные и простые доказательства (хотя самого Бога Эрдёш иронично называл «верховным фашистом»). (К слову, Эрдёш сам активно изучал расстояния в социальных сетях, что породило концепт «числа Эрдёша»). Напротив, выдающийся геометр Хильда Хадсон, создававшая математические модели пандемий (модель SIR), будучи глубоко верующей, видела в математике единственный доступный человеку способ точно прочесть мысли Бога. ### Анатомия чисел: от простых обманщиков до жемчужных ожерелий [[JUMP:1:33:29]] Попытки нащупать фундаментальные правила неизбежно приводят к простым числам — «атомам» числовой вселенной, которые невозможно разложить на нетривиальные множители. При этом единица сегодня официально простым числом не считается, что является конвенциональным соглашением ради удобства формулировок. Определить простоту числа на глаз бывает трудно. Существуют «простые обманщики» вроде 57 — знаменитое «простое число Гротендика», названное в честь великого Александра Гротендика, который в лекции привел его как пример случайного простого числа, забыв, что оно делится на 3 и 19. Числа 27, 51 или 91 ($7 \times 13$) психологически тоже кажутся простыми, но таковыми не являются. Чтобы отсеивать составные числа, ученые используют строгие алгоритмы. Пьер Ферма сформулировал базовый тест на простоту (Малая теорема Ферма): если возвести двойку в степень загаданного числа $n$ и разделить на $n$, остаток должен быть равен 2. Если мы возьмем $n = 6$, то $2^6 = 64$; при делении на 6 остаток равен 4 — тест провален, число составное. Для простого числа 5 имеем $2^5 = 32$, остаток от деления на 5 равен 2 — тест пройден. Для числа 7: $2^7 = 128$, остаток от деления на 7 также равен 2. Однако этот тест идеален только в одну сторону. Составные числа, которые обманывают алгоритм и проходят его, называются псевдопростыми; наименьшее из них — 341. В своей книге Элленберг приводит визуальное геометрическое доказательство этой теоремы Ферма, основанное на симметрии и вращении разноцветных ожерелий из опалов и жемчуга. Изучение этих базовых кирпичиков логики неизбежно ставит перед человечеством новые вопросы о природе бесконечности и распределении числовых лакун. ## 5. 🎲 Иллюзия случайности, призрак бесконечности и цифровое зарождение сложности [[JUMP:1:41:23]] ### Простые числа как случайный процесс [[JUMP:1:41:23]] Математический мир устроен удивительным образом: объекты, обладающие абсолютно детерминированной природой, порой открывают свои тайны лишь тогда, когда исследователи начинают относиться к ним как к результату чистого случая. Ярким примером этого парадокса служат простые числа. Еще Евклид доказал, что их множество бесконечно. Однако по мере продвижения по числовой оси они встречаются всё реже. **Джордан Элленберг** иллюстрирует это наглядным примером: среди первой десятки чисел простыми являются 40% (2, 3, 5 и 7), но для десятизначных чисел такая плотность математически невозможна. У огромных чисел появляется слишком много потенциальных делителей, из-за чего свойство простоты становится редким исключением. Несмотря на понимание общей картины, многие тонкие, мелкозернистые вопросы остаются без ответа. Мы до сих пор не знаем, существует ли бесконечно много «простых чисел-близнецов» — пар, разность между которыми равна двум, вроде 11 и 13. Компьютерный анализ позволяет находить миллионы таких пар, но, как резонно замечает Элленберг, даже 10 миллионов — это ничтожно мало в сравнении с бесконечностью; в конце концов, атомов во Вселенной тоже конечное число. Чтобы формулировать правильные гипотезы и не тратить силы на доказательство заведомо ложных утверждений, математики используют поразительный трюк: они моделируют распределение простых чисел так, будто это случайный процесс, управляемый определенным законом. В реальности никакого случая нет — принадлежность числа к простым жестко предопределена. Тем не менее, эвристический подход, основанный на сознательном допущении случайности, оказывается феноменально продуктивным для генерации математических инсайтов. **Лекс Фридман** проводит параллель с философом Сэмом Харрисом, который использует детерминизм простых чисел как аргумент против существования свободы воли: появление нового простого числа кажется нам открытием и новым опытом, но оно изначально было «записано в картах» математической реальности. Элленберг на это отвечает, что полезность фрейма важнее его буквальной истинности. Мы точно так же антропоморфизируем системы машинного обучения или роботов, когда говорим, что алгоритм «пытается сделать» или «хочет узнать» нечто новое. Такой подход и проекция человеческих качеств на самом деле критически важны для формирования инженерной интуиции и понимания причин сбоев системы в пограничных случаях. ### Ультрафинитизм: отказ от бесконечности [[JUMP:1:48:37]] Желание заземлить абстрактные математические концепции в физической реальности порой приводит к радикальным интеллектуальным течениям. Лекс Фридман упоминает свое увлечение идеями финитизма, интуиционизма и ультрафинитизма, сторонники которых утверждают, что бесконечность — это лишь удобный хак, не имеющий аналогов в реальном мире, способный исказить структуру человеческого разума. Сам Элленберг признается, что не является экспертом в этих тонкостях, но исторически ассоциирует подобные философские споры с Нидерландами 1930-х годов. Разница между этими течениями носит градуальный характер: если классический финитизм признает бесконечность натурального ряда чисел (1, 2, 3...), то ультрафинитизм объявляет фейком даже её. Элленберг с юмором предполагает, что ультрафинитизм возник как реакция «хардкорных» математиков, которым обычный финитизм показался слишком мейнстримным. На самом деле большая часть истории математики была латентно финититской. До работ Георга Кантора в конце XIX века никто всерьез не оперировал мощностями бесконечных множеств. Даже Исаак Ньютон, создавая дифференциальное исчисление для расчета мгновенной скорости, сталкивался с концептуальным сопротивлением. Его метод требовал деления бесконечно малых величин, которые не были равны нулю, но оставались меньше любого подлинного числа. Это вызвало знаменитую и справедливую критику епископа Беркли, который иронично назвал эти бесконечно малые «призраками ушедших величин». Тем не менее, метод Ньютона работал, обеспечивая колоссальный технологический прогресс. Современный интуиционизм выражает глубокое сомнение в объективном существовании непрерывных вещественных чисел. Этот скепсис имеет ярко выраженный вычислительный оттенок: компьютерные ученые работают с ограниченной арифметикой с плавающей запятой, где всё строго конечно. Неслучайно эти идеи обрели популярность в 1930-40-х годах — в эпоху зарождения теории формальных вычислений. ### Игра «Жизнь» и клеточные автоматы [[JUMP:1:56:00]] Мост между строгим вычислительным детерминизмом и хаотичной сложностью реального мира наглядно иллюстрируют клеточные автоматы. В последующих главах собеседники подробно разберут саму эксцентричную личность Джона Конвея и его уникальный игровой подход к науке, но здесь Элленберг фокусируется на его главном прикладном шедевре. В 1970-х годах Конвей разработал знаменитую игру «Жизнь» — систему, которую он изначально обсчитывал вручную ручкой на обычном листе бумаги в клеточку. Игра «Жизнь» представляет собой поле из квадратных ячеек, подчиняющееся одному-единственному правилу, умещающемуся в одну строку. На каждом шаге пустой квадрат может заполниться («рождение»), а заполненный — освободиться («смерть») в зависимости от конфигурации его ближайших соседей. Великое чудо этого автомата заключается в том, что из абсолютно примитивных локальных правил рождается структура невероятного биологического разнообразия. Современные исследователи используют для симуляций скоростные компьютерные приложения, такие как Golly. Наблюдая за развитием системы, человек невольно примеряет на себя роль биолога или эволюциониста. Внутри этого виртуального бульона формируются целые классы объектов: * **Стабильные конфигурации** — неизменяемые формы, приспособившиеся к окружению. * **Глайдеры** — динамичные структуры, способные самостоятельно перемещаться по полю. * **Глайдерные ружья** — неподвижные фабрики, циклически порождающие новые глайдеры. Это живое опровержение тезиса о том, что сложная структура обязательно требует сложного замысла. Однако Элленберг указывает на важный нюанс: если выбрать правила случайным образом, никакой эмерджентной сложности не возникнет — система либо быстро вымрет, либо превратится в статичный шум. Правила должны быть ювелирно настроены, и то, почему конкретный набор законов порождает «жизнь», остается глубокой математической загадкой. Этой Darwin-подобной эксплорации посвятил свой фундаментальный труд ученый Стивен Вольфрам. Он детально исследовал одномерные клеточные автоматы (например, знаменитое «Правило 30»), предложив концепцию вычислительной неприводимости. Вольфрам показал, что невозможно аналитически предсказать состояние определенной ячейки через сто шагов вперед, не пройдя всю цепочку вычислений шаг за шагом. Эта невозможность сократить путь сближает клеточные автоматы с фундаментальными законами природы, где будущее нельзя вычислить заранее — его можно только прожить. ## 🎮 Игровой подход к науке и свобода математического мышления [[JUMP:02:05:50]] Джордан Элленберг вспоминает Джона Конвея как человека, чья математическая гениальность была неотделима от духа игры. Конвей обладал уникальным даром превращать любую сложную абстрактную задачу в увлекательную игру. Хотя широкой публике он известен прежде всего благодаря «Игре в жизнь», сам математик относился к этому проекту с долей амбивалентности. Его тяготило то, что он рисковал остаться в истории лишь как «парень из Игры в жизнь», в то время как он совершил гораздо более глубокие открытия — например, создал систему сюрреальных чисел и доказал множество фундаментальных теорем. Элленберг подчеркивает: Конвей был неутомимым исследователем, чью личность невозможно свести к единственному достижению; он воплощал тип ученого, для которого математика — это живой, постоянно меняющийся процесс исследования. Ранее в разговоре они уже касались клеточных автоматов, поэтому здесь Элленберг лишь подтверждает значимость такого подхода к преподаванию и науке — как способа «взломать» сложность через игру. ### 🌪 Поток Риччи и метод Григория Перельмана [[JUMP:02:18:16]] Одной из самых захватывающих страниц в современной геометрии является доказательство гипотезы Пуанкаре, представленное российским математиком Григорием Перельманом. Элленберг отмечает, что успех Перельмана стал возможен благодаря коллективным усилиям многих предшественников, включая Ричарда Гамильтона. Чтобы решить задачу, которая на первый взгляд касалась топологии трехмерных объектов, Перельман вышел на более высокий уровень абстракции, применив метод потока Риччи (Ricci flow). Суть этого метода заключается в том, что мы рассматриваем пространство всех возможных трехмерных геометрий и начинаем «деформировать» исследуемый объект по определенным физическим законам. Поток Риччи позволяет плавно изменять форму объекта, не допуская разрывов, пока он не примет вид идеальной сферы. Главная техническая сложность, по словам Элленберга, заключалась в доказательстве отсутствия сингулярностей — моментов, когда в процессе деформации возникают нежелательные «острые углы» или разрывы гладкости. Это яркий пример того, как понимание «геометрии всех геометрий» позволяет разгадать тайну конкретной фигуры. ### ⚖️ Личная честность: отказ от Филдсовской премии [[JUMP:02:22:10]] Поступок Григория Перельмана, отказавшегося от Филдсовской премии, вызвал множество дискуссий в академическом сообществе. Для Элленберга этот жест не является трагедией, а скорее служит важным напоминанием о природе математического поиска. Несмотря на то, что большинство ученых принимают награды, поступок Перельмана подчеркивает его нежелание участвовать в иерархической системе, где успех измеряется репутацией или официальным признанием. Хотя точные мотивы математика остаются загадкой, Элленберг видит в этом проявление личной честности и следование собственным принципам. В академической среде, где часто доминируют эго и погоня за статусом, отказ от премии становится символом того, что для настоящего исследователя истинная награда — это сам процесс «тяни-толкай» с тайной мироздания. Это важный урок для молодежи: в жизни каждого человека наступают моменты, когда нужно иметь смелость сказать «нет» системе, если она противоречит твоим глубоким убеждениям. ## 🧠 Искусство познания, мужество выбора и пределы разума [[JUMP:2:31:01]] ### Как правильно учить сложную математику [[JUMP:2:31:01]] Джордан Элленберг убежден, что изучение математики невозможно в отрыве от практического применения. По его мнению, лучший способ освоить сложный материал — позволить реальной задаче, которая вас искренне волнует, диктовать выбор инструментов для обучения. Если вы пытаетесь понять, например, машинное обучение, и видите, что вам не хватает математического аппарата, именно эта потребность должна стать двигателем процесса. Математика — это действительно сложная область, но трудности здесь являются «особенностью, а не багом». Элленберг проводит параллель между интеллектуальной работой и физическими нагрузками, которые он сам не любит, но ценит результат. В математике часто приходится удерживать в уме множество концепций при высокой степени неопределенности, когда нотация неясна, а в картине понимания зияют огромные пробелы. Умение не опускать руки перед лицом этих «пустот» — ключевой навык. Как и в спорте, необходимо научиться получать удовольствие от самого процесса преодоления препятствий, ведь именно за этим «страданием» от непонимания следует момент озарения, когда все части пазла складываются в цельную и прекрасную картину. В исследованиях, конечно, приходится принимать и тупиковые ветви, воспринимая их не как провал, а как неотъемлемую часть пути. ### Совет молодёжи: выбор высокой самооценки [[JUMP:2:36:00]] Отвечая на вопрос о жизненных советах, которые он дает студентам (и когда-нибудь даст собственным детям), Элленберг предлагает простую, но эффективную стратегию для моментов неуверенности. Каждый человек сталкивается с сомнениями в своих способностях и целях. В такие моменты Джордан советует делать «выбор высокой самооценки». Это не означает, что вы должны искусственно лишить себя всяких сомнений — они естественны и допустимы. Однако суть совета заключается в том, чтобы на время «отстраниться» и посмотреть на ситуацию со стороны: как бы поступила та версия вас, которая обладает абсолютной уверенностью в себе? Действовать так, как поступил бы человек, не скованный страхом, — это глубоко практичный способ продвижения вперед, позволяющий реализовать потенциал, который обычно подавляется самокритикой. ### Пари Паскаля и мистический опыт [[JUMP:2:38:29]] Завершая разговор о смысле жизни и границах математического познания, Лекс Фридман затронул вопрос о том, может ли математика дать ответы на фундаментальные экзистенциальные вопросы. Элленберг обратился к наследию Блеза Паскаля, который был не только гениальным математиком, но и глубоким религиозным мистиком. Многие привыкли считать, что математический подход Паскаля («Пари Паскаля») был попыткой логически доказать существование Бога. Однако, по словам Элленберга, при более детальном изучении работ Паскаля становится ясно, что это не так. Математика для него была лишь инструментом анализа человеческого поведения, а не способом рационального доказательства божественного. Свою веру сам Паскаль объяснял прямым, почти «психоделическим» мистическим опытом — личной встречей с Богом, которая не требовала никаких математических формул. Математика, технологии, любовь и дружба — все это грани нашего мира, но иногда, считает Элленберг, вместо бесконечных попыток «вычислить» смысл жизни, стоит просто наслаждаться самим процессом бытия.