В новом выпуске подкаста Брайана Китинга «Into the Impossible» известный математик, популяризатор науки и концертный пианист Юджиния Ченг обсуждает фундаментальные основы своей дисциплины. Собеседники исследуют ключевые темы ее новой книги «Реальна ли математика?», прослеживая путь от простых кулинарных аналогий до глубоких онтологических вопросов. Дискуссия затрагивает не только абстрактную природу чисел и возможности искусственного интеллекта, но и современные споры об идеологизации науки и методах реформирования высшего образования.
🎨 От кулинарных рецептов к абстрактному языку Вселенной 0:00
Доктор Юджиния Ченг совмещает академическую работу в Институте искусств Чикаго с активной популяризацией науки. Ее уникальный метод заключается в преодолении математических фобий у студентов с помощью наглядных бытовых аналогий, например, выпечки пирогов. В разговоре с Брайаном Китингом она признает, что абстрактный язык науки часто отпугивает людей, создавая колоссальный барьер восприятия.
Непостижимая эффективность математики
Брайан Китинг напоминает знаменитый тезис физика Юджина Вигнера о «непостижимой эффективности математики в естественных науках». Ведущий задается вопросом, заслуживает ли человечество этот дар и способны ли мы до конца его осознать. Юджиния Ченг иронично замечает, что обычные пятиклассники, сталкиваясь с изучением рациональных и иррациональных чисел, вряд ли сочли бы это ценным подарком.
По словам собеседников, в обществе наблюдается парадоксальный разрыв:
- С одной стороны, математика признана главным ментальным инструментом, сберегшим колоссальный объем человеческого труда на протяжении всей истории.
- С другой стороны, существует глубокая математическая тревожность, из-за которой люди боятся формул, хотя ежедневно пользуются сложнейшими технологиями вроде смартфонов.
🌌 Существует ли математика без физической реальности? 7:58
В качестве яркого примера абстракции Брайан Китинг приводит книжную иллюстрацию Юджинии Ченг с квадратом, стороны которого равны единице, а гипотенуза составляет $\sqrt{2}$. Ведущий отмечает, что для физика-экспериментатора привычен прагматичный подход в стиле «заткнись и считай». Тем не менее, он предлагает рассмотреть классический философский вопрос: существовала бы математика, если бы материального мира не было вовсе? Человеческий разум способен оперировать идеальным треугольником или концепцией бесконечности, хотя в физическом мире они не имеют прямого эквивалента.
Магия и космология нуля
Особое место в дискуссии занимает природа нуля, который кажется Китингу почти магическим числом. В современной космологии геометрия Вселенной теоретически могла обладать положительной или отрицательной кривизной с бесконечным множеством вариантов. Однако астрофизические измерения показывают, что наша Вселенная с высокой точностью является плоской, то есть ее кривизна равна строго нулю. Это заставляет ученых спорить, является ли ноль человеческим изобретением или фундаментальным открытием.
Размышления о числах часто переходят в бытовую плоскость, выявляя забавные культурные различия и человеческие предрассудки:
- В Великобритании принято обозначать наземный этаж как «нулевой» (ground floor), тогда как в США его называют первым.
- В американских высотках из-за суеверий часто полностью отсутствует кнопка 13-го этажа в лифтах, что вызывает профессиональное недоумение у математиков.
🤖 Искусственный интеллект и пределы машинного мышления 16:46
Важной темой беседы становится влияние искусственного интеллекта на современную науку и способность машин оперировать абстрактными математическими понятиями. Брайан Китинг делится выводами из прошлых подкастов со знаменитыми учеными — Роджером Пенроузом, Стивеном Вольфрамом и Стивеном Строгацем. По мнению ведущего, человеческий мозг обладает уникальными эволюционными преимуществами перед компьютерами при работе со сложными концептами.
Китинг формулирует ключевые отличия биологического и машинного интеллекта:
- Компьютер не способен по-настоящему смоделировать бесконечность; он лишь подменяет ее максимально возможным числом, которое помещается в его аппаратные регистры. Человек же легко оперирует бесконечностями на абстрактном уровне.
- Машине невозможно передать субъективный чувственный опыт. Например, Альберт Эйнштейн считал своей «самой счастливой мыслью» осознание того, что падающий человек не чувствует собственного веса, что привело к созданию общей теории относительности с ее системой из 84 дифференциальных уравнений.
- ИИ нельзя научить понимать, что такое «счастливая» или «болезненная» мысль, путем простого извлечения электронных плат.
На основании этих аргументов Брайан Китинг заявляет, что не разделяет апокалиптических прогнозов о «проблеме канцелярских скрепок», когда сверхразумный ИИ случайно уничтожает человечество в погоне за оптимизацией алгоритма.
🍰 Теория категорий: в поисках универсальных связей 23:27
Юджиния Ченг обрела международную известность после публикации своей дебютной книги «Как испечь пирог» (How to Bake Pi), где каждая глава сопровождалась рецептом десерта. За легкой формой скрывалось введение в теорию категорий — область математики, изучающую структуры и отношения между ними, которая в последнее десятилетие переживает стремительный взлет.
Китинг поднимает вопрос о границах применимости этого инструмента. Его беспокоит феномен так называемого «математического камуфляжа» (math washing), когда строгий язык теории категорий пытаются спекулятивно использовать для классификации социальных групп, анализа гендерного неравенства или вопросов привилегий.
🏛️ Идеологические споры и кризис образования 33:07
Брайан Китинг выражает глубокую озабоченность публикациями в академической среде, в которых утверждалось, будто поиск единственно правильного ответа (например, $2 + 2 = 4$) является пережитком «превосходства белой расы» (white supremacy). Ведущий называет подобные идеи абсурдными. Чтобы проверить этот тезис, он изучил программы ведущих университетов Нигерии — Университета Ибадана, Университета Ковенант и Университета Лагоса. Все они входят в топ-1000 лучших вузов мира, и ни на одном их математическом факультете не учат ничему иному, кроме классического равенства $2 + 2 = 4$. По мнению Китинга, если бы эта концепция действительно была расистским конструктом, африканские ученые отвергли бы ее первыми.
Порочный круг школьного обучения
Юджиния Ченг обращает внимание на исторические корни и проблемы современного образования, которое во многом унаследовало европейскую академическую модель. В ее книге приводится схема «порочного круга глупых вопросов»:
- Ученики задают неискренние или формальные вопросы.
- Учителя, в свою очередь, дают на них пренебрежительные или шаблонные ответы.
- Это запускает маховик взаимного отчуждения, усиливая страх перед предметом.
Брайан Китинг с иронией добавляет, что со времен основания первого европейского университета в Болонье в 1080 году формат лекций почти не изменился: преподаватель по-прежнему стоит у доски и пишет мелом. Единственным весомым изменением он в шутку называет отмену средневекового права студентов устраивать забастовки и лишать профессоров заработка, на смену чему пришла современная система пожизненных контрактов (тенюр).
🧠 Открыта или изобретена? Главная дилемма математиков 44:26
В завершение встречи Брайан Китинг задает онтологический вопрос от слушателя подкаста Алекса Билзаряна о глубинном противоречии математики: является ли она искусственным человеческим формализмом или областью объективно существующих и открываемых сущностей.
Китинг вспоминает свой разговор на эту тему со своим близким другом, выдающимся математиком и инвестором-миллиардером Джимом Саймонсом. На вопрос, открыта математика или изобретена, Саймонс лаконично ответил: «И то, и другое». Юджиния Ченг соглашается с такой дуалистической оценкой. Вдохновляясь словами писателя-фантаста Артура Кларка о том, что границы возможного определяются лишь шагом в невозможное, Ченг дает совет своей молодой версии до защиты диссертации: всегда сохранять смелость и не бояться мыслить нестандартно.
