Вот краткая биография теории узлов[28 - Подробности можно прочесть в книге: Сосинский А. Узлы. Хронология одной математической теории. – М.: МЦНМО, 2005 (http://files.school-collection.edu.ru/dlrstore/d63008f4-a780–11dc-945c-d34917fee0be/71_sosinskij_uzli.pdf (http://files.school-collection.edu.ru/dlrstore/d63008f4-a780%E2%80%9311dc-945c-d34917fee0be/71_sosinskij_uzli.pdf)). – Прим. пер.]. Она родилась из практических нужд. Вскоре она превратилась в нечто абсолютно оторванное от практики, логическую игру для поэтов и философов. А дальше каким-то образом это творение, которое на протяжении многих лет, казалось, не имело никакого отношения к реальной жизни, стало чрезвычайно полезным совершенно не в той области, ради которой оно родилось.
Это не единичный случай. Это обычная схема в истории математики.
Помните странную альтернативную геометрию, о которой шла речь в первой главе? На протяжении веков ученые рассматривали ее как фантазию, поэтическую прихоть. Они не видели соответствия с нашей реальностью, в которой, как предполагалось, действовал постулат Евклида о параллельных прямых.
Но в один прекрасный день на сцене появился молодой клерк из патентного бюро по фамилии Эйнштейн. Он понял, что безумная геометрия – не просто мысленный эксперимент; она определяет структуру космоса. С нашей ограниченной точки зрения, вселенная выглядит евклидовой, а шарообразная Земля – плоской. Но если изменить масштаб и отбросить предрассудки обитателя плоскости, откроется совершенно иная картина: переменчивый ландшафт поразительных изгибов[29 - Я благодарен Мэтью Фрэнсису и Эндрю Стейси за помощь по этому вопросу. Я хотел написать, что Вселенная «гиперболическая» или «эллиптическая», а не «евклидова», но они сообщили мне, что в действительности она представляет собой труднопостигаемое лоскутное одеяло из этих более простых геометрий.Стейси написал: «Риманова геометрия обобщает евклидову во многих отношениях; она намного богаче евклидовой, но упускает из виду некоторые аспекты, в первую очередь то, как объекты соотносятся друг с другом в различных областях пространства». Это включает и понятие параллельных прямых.Фрэнсис добавил интересную историческую деталь: «В XIX веке Уильям Кингдон Клиффорд предложил использовать неевклидову геометрию, чтобы заменить физическое понятие силы, но он просто полагал, что “это было бы прикольно”. Меня не удивило бы, если другие тоже продумывали подобные идеи». Естественно, Эйнштейн тесно сотрудничал с математиками; ни один прорыв не происходит сам по себе.].
«Бесполезная» геометрия становится чертовски полезной.
Мой любимый пример касается логики как таковой. Ранние философы вроде Аристотеля разработали логическую символику («если p, то q») как руководство научного мышления. Потом на нее покусились математические теоретики и превратили логику в нечто необычное и абстрактное. Реальность улетучилась. В XX веке люди вроде Бертрана Рассела сочиняли фолианты с латинскими заголовками[30 - Трехтомная монография Principia Mathematica выпущена в 1910–1913 годах издательством Кембриджского университета (Уайтхед А., Рассел Б. Основания математики: В 3 т. / Под ред. Г. П. Ярового, Ю. Н. Радаева. – Самара: Самарский университет, 2005–2006). – Прим. пер.] с целью «доказать», исходя из элементарных предпосылок, что 1 + 1 = 2. Что может быть более бесполезным, более безнадежным?[31 - Эта история изложена в графическом романе: Apostolos Doxiadis et al., Logicomix: An Epic Search for Truth (New York: Bloomsbury, 2009). [Доксиадис А., Пападимитриу Х. Логикомикс. Поиск истины. – М.: Карьера Пресс, 2019.]]
Одна мама пилила сына-логика: «Солнышко, к чему тебе вся эта абстрактная математика? Почему бы не заняться чем-нибудь полезным?»[32 - James Gleick, The Information: A History, a Theory, a Flood (New York: Knopf Doubleday, 2011). Блестящая книга. [Глейк Дж. Информация. История. Теория. Поток. – М.: Corpus, 2013.]]
Маму звали Этель Тьюринг. Вскоре выяснилось, что ее сын Алан все-таки на что-то годен: он изобрел логическую машину, которую мы теперь называем «компьютер».
Я не могу винить ее за скептицизм. Кто бы мог подумать, что исследование логических систем, которое вел ее сын, определит облик нового столетия? Сколько примеров я ни узнавал, этот исторический цикл перехода полезного в бесполезное и снова в полезное остается для меня чудом и тайной.
Мое любимое описание этого феномена – чеканная фраза физика Юджина Вигнера: «Непостижимая эффективность математики»[33 - Eugene Wigner, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences. Richard Courant lecture in mathematical sciences delivered at New York University, May 11, 1959”, Communications on Pure and Applied Mathematics 13 (1960): 1–14. Сногсшибательное эссе. [Статья Юджина Вигнера «Непостижимая эффективность математики в естественных науках» в переводе В. А. Белоконя и В. А. Угарова была опубликована в журнале «Успехи физических наук» в 1968 году (Т. 94, С. 535–546; https://ufn.ru/ru/articleszf/ (https://ufn.ru/ru/articleszf/)). – Прим. науч. ред.]]. В конце концов, бактерии не знают теорию узлов, так почему они следуют ее законам? Пространственно-временной континуум не изучал гиперболическую геометрию, почему тогда ее теоремы выполняются так безупречно?
Я читал философов, которые пытались ответить на эти вопросы, но, на мой взгляд, их тезисы умозрительны и противоречивы, и никто из них не смог умерить мое изумление.
Итак, как лучше понять взаимоотношения между поэтессой, которую мы называем Математика, и искателем приключений, известным как Естествознание? Возможно, мы должны рассматривать их связь как симбиоз двух весьма разных существ. Например, птица, поедающая насекомых, примостилась на спине носорога. У носорога не зудит кожа. Птица удовлетворяет аппетит. И они оба счастливы.
Если вы захотите изобразить математику, нарисуйте изящное существо, оседлавшее серую морщинистую тушу.
Глава 5
Хороший математик против великого математика
Развенчивать мифы невероятно весело. Просто посмотрите на беззаботные взрывы смеха и улыбки до ушей ведущих телешоу «Разрушители легенд»[34 - MythBusters – научно-популярная телепередача на канале Discovery (2003–2016). – Прим. пер.], и вы увидите: это карьера с высокой степенью удовлетворенности от работы.
Гораздо сложнее вносить поправки в мифы. Многие преобладающие в культуре взгляды на математику не то чтобы ошибочны – они просто искажены, неполны или гиперболизированы. Важны ли вычисления? Конечно же, но ими дело не ограничивается. Уделяет ли математика внимание деталям? Да, равно как вязание и паркур. Был ли Карл Гаусс прирожденным гением? Ну да, но красивые доказательства в основном находят не депрессивные немецкие перфекционисты[35 - Карл Фридрих Гаусс (1777–1855), которого называли королем математиков, погрузился в тяжелую депрессию, когда не смог довести до конца вычисления по теории возмущений орбиты астероида Паллада в начале XIX века. Это состояние усугубила смерть его жены и новорожденного сына. См.: Гиндикин С. Рассказы о физиках и математиках. – М.: МЦНМО, 2001 (https://www.mccme.ru/free-books/gindikin/contes.pdf (https://www.mccme.ru/free-books/gindikin/contes.pdf)). – Прим. пер.], а обычные люди вроде нас с вами.
Перед тем как завершить этот раздел, я дам еще одно, последнее объяснение того, как думают математики, – шанс провести ревизию и прокомментировать некоторые популярные мифы. Как большинство мифов, они опираются на правду. И, как большинство мифов, они пренебрегают сомнениями и пробуксовкой на пути к осмыслению, которое делает нас людьми – и математиками.
Пару лет назад, когда я жил в Англии, у меня был ученик по имени Кори. Он напоминал мне нежноголосого 12-летнего Бенджамина Франклина: молчаливый, проницательный, длинные рыжие волосы, круглые очки. Я легко мог представить, как он изобретает бифокальные линзы.
Кори вкладывал душу в каждое домашнее задание, находил ясные связи между темами и собирал свои тетрадки с такой тщательностью и терпением, что я всегда опасался, как бы он не опоздал на следующий урок. Неудивительно, что на первой большой контрольной в ноябре Кори расщелкал все задачи.
Вернее, все задачи, на которые у него хватило времени.
Прозвенел звонок, но последняя четверть бланка ответов все еще была пуста. Он набрал чуть больше 70 баллов из 100 и явился ко мне на следующий день с нахмуренным лбом.
– Сэр, – сказал он (поскольку Англия – поразительная страна, где даже к нескладным 29-летним учителям обращаются с большим почтением), – почему время на решение контрольных ограничено?
Я полагаю, что честность – наилучшая политическая линия.
– Не потому, что скорость очень важна. Мы просто хотим удостовериться, что школьники могут справиться с контрольной сами, без посторонней помощи.
– Так почему нельзя работать после звонка?
– Ну, если бы я держал весь класс в заложниках весь день, другие учителя могли бы взбелениться. Они хотят, чтобы вы знали физику и географию, потому что ностальгически привязаны к реальности.
Я осознал, что никогда не видел Кори в таком состоянии: зубы сжаты, глаза потускнели. Всем своим видом он излучал разочарование.
– Я мог решить больше задачек, – сказал он. – У меня просто кончилось время.
– Я знаю, – кивнул я.
Больше нечего было сказать.
Намеренно или нет, школьная математика посылает громкий, четкий сигнал: «Скорость – это всё». Контрольные нужно решать быстро. Чем раньше сдашь контрольную, тем быстрее приступишь к домашней работе. Вы только посмотрите, как заканчиваются уроки – по звонку, как раунд извращенной принудительной викторины по логарифмам. Математика превращается в гонку, успех становится синонимом скорости.
Все это в высшей степени глупо.
Скорость имеет одно баснословное преимущество: она экономит время. Но математика требует глубокого проникновения в суть поставленной задачи, подлинного понимания, элегантного подхода. Вы не достигнете ничего из вышеперечисленного, перемещаясь со скоростью 1000 км/ч. Вы лучше разберетесь в математике, если будете думать тщательно, а не на скорую руку, и вы лучше изучите ботанику, рассматривая каждую травинку, а не скача как одержимый через пшеничное поле.
Кори понимал это. Я уповаю только на то, что учителя наподобие меня[36 - Моим учителем в этой главе был Дэвид Кламп, чьи замечания сочетали эрудицию кого-то вроде Карла Сагана с мягкой человечностью кого-то вроде Карла Сагана (похоже, Дэвид и есть Карл Саган).] не пытались, вопреки нашим лучшим намерениям, переубедить его.
Моя жена, математик-исследователь, однажды указала мне на курьезный паттерн математической жизни.
? Шаг 1. В воздухе повис сложный и захватывающий вопрос, важная гипотеза нуждается в доказательстве. Многие пытаются приручить зверя, но безуспешно.
? Шаг 2. В конце концов кто-нибудь находит длинное и запутанное доказательство, оно чрезвычайно глубокое, но за мыслью сложно уследить.
? Шаг 3. Со временем публикуются новые доказательства, они становятся все короче и проще, пока в конце концов самое первое доказательство не приобретает статус артефакта: неэффективная лампочка Эдисона выходит из употребления, уступая место более современным и изящным инженерным решениям.
Почему эта траектория настолько распространена?
Ну, в первый раз, когда вы находите истину, вы часто бредете колдобистым, извилистым путем. Вам делает честь то терпение, которое вы проявили, чтобы пережить все перипетии. Но требуется еще больше терпения, чтобы продолжить думать дальше. Только тогда вы сумеете отделить необходимые шаги от излишних, пойти напрямик и сократить нудное 120-страничное доказательство до цельного десятистраничного.
В 1920-е годы алгебра, вероятно, была самой скучной из всех отраслей математики[37 - Israel Kleiner, “Emmy Noether and the Advent of Abstract Algebra,” A History of Abstract Algebra (Boston: Birkh?user, 2007), 91–102, https://link.springer.com/chapter/10.1007/978-0-8176-4685-1_6#page-2 (https://link.springer.com/chapter/10.1007/978-0-8176-4685-1_6#page-2). Я исказил аргумент Клейнера; ключевая идея в том, что в XIX веке удалось добиться больших успехов в геометрии и математическом анализе, но алгебра оставалась в первозданном закостенелом состоянии.]. Заниматься алгеброй означало увязнуть в трясине мелочей, угодить в терновый куст громоздких технических формальностей, в дисциплину деталей.
И вот в 1921 году математик по имени Эмми Нётер[38 - Joaquin Navarro, Women in Maths: From Hypatia to Emmy Noether. Everything is Mathematical (Spain: R. B. A. Coleccionables, S. A., 2013) [Наварро Х. Женщины-математики: от Гипатии до Эмми Нётер. Вып. 37. 2014. – (Сер.: Мир математики).]] опубликовала статью под названием «Теория идеалов в кольцевых областях». Забрезжила заря новой эпохи. Позже ее коллега сказал, что это рассвет «абстрактной алгебры как осознанной дисциплины». Нётер не была заинтересована в распутывании конкретных числовых схем. На самом деле она отложила саму идею числа в сторону. Для нее имели значение только симметрия и структура. «Она учила нас думать, пользуясь простыми и, соответственно, общими терминами, – вспоминал впоследствии один из ее коллег. – Поэтому она открыла путь к выявлению алгебраических закономерностей там, где раньше закономерности не были ясны».
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию (https://www.litres.ru/pages/biblio_book/?art=62696761&lfrom=174836202) на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.
notes
Сноски
1
Термин теории игр. Выигрыш одного игрока равен проигрышу другого. Простейший пример – игра в орлянку. Строго говоря, уроки математики не являются такой игрой: все ученики могут одновременно получить высший балл и «выиграть» (или наоборот), хотя, конечно, это крайне маловероятно. – Прим. пер.
2
Происхождение этой игры теряется в тумане. Возможно, впервые ее правила были изложены в журнале Games в конце 1990-х или начале 2000-х (хотя на мой запрос сотрудники редакции ответили, что никогда не слышали об этой игре). В 2009-м версия под названием «Тик-так-ку» (с фишками на деревянной доске) завоевала премию Менсы за лучшую американскую настольную игру. Возможно, эту игру независимо придумывали несколько раз, как некоторые танцы или дифференциальное исчисление.
3
Когда я впервые продемонстрировал эту игру моим ученикам в Оклендской чартерной средней школе (Oakland Charter High School) в 2012 году, они-то и окрестили ее «жесткие крестики-нолики» (Ultimate Tic-Tac-Toe). Мой пост в блоге с таким заголовком вызвал всплеск популярности: статью в «Википедии», несколько научных статей и множество мобильных приложений. Мораль: гордитесь, матадоры! Вы придумали название для этой штуковины.
4
Я благодарен Марку Торнтону, который прочел черновик этой главы и задал в точности тот же самый вопрос. Правки Майка сродни текстам песен Леонарда Коэна или прозе Хемингуэя: я всегда знал, что они хороши, но чем старше я становлюсь, тем больше ценю их.
5
Ключевая идея заключается в том, что у продолговатых прямоугольников непропорционально большой периметр, а у похожих на квадраты – непропорционально большая площадь. Поэтому нужно просто взять продолговатый прямоугольник (например, 10?1) и почти квадратный (например, 3?4).
6
Если в ответе должны быть целые числа, задача становится еще веселее. Вот мой вывод формулы, порождающей целое семейство решений:
Решений бесконечно много, но некоторые все равно остаются вне поля зрения, потому что другие значения d тоже могут давать целочисленные значения c. Например, эта формула не дает моего любимого решения: 1 ? 33 и 11 ? 6. Мой коллега Тим Кросс, съевший собаку на диофантовых уравнениях, подсказал мне ловкий способ найти все целочисленные решения. Моей профессии свойственна мизантропия, поэтому на сей раз я предлагаю читателю найти этот способ самостоятельно.
7
Эта стратегия слишком сложна, чтобы полностью изложить ее здесь, но она реализована коллегами из Академии Хана: https://www.khanacademy.org/computer-programming/tic-tac-toe/5946909186326528 (https://www.khanacademy.org/computer-programming/tic-tac-toe/5946909186326528).
