Знак информационной продукции (Федеральный закон № 436-ФЗ от 29.12.2010 г.)
Переводчик: Наталья Лисова
Научный редактор: Константин Кноп
Редактор: Вячеслав Ионов
Издатель: Павел Подкосов
Руководитель проекта: Ирина Серёгина
Арт-директор: Юрий Буга
Ассистент редакции: Мария Короченская
Корректоры: Елена Воеводина, Ольга Петрова
Верстка: Андрей Фоминов
Дизайн обложки: Людмила Антипова
Все права защищены. Данная электронная книга предназначена исключительно для частного использования в личных (некоммерческих) целях. Электронная книга, ее части, фрагменты и элементы, включая текст, изображения и иное, не подлежат копированию и любому другому использованию без разрешения правообладателя. В частности, запрещено такое использование, в результате которого электронная книга, ее часть, фрагмент или элемент станут доступными ограниченному или неопределенному кругу лиц, в том числе посредством сети интернет, независимо от того, будет предоставляться доступ за плату или безвозмездно.
Копирование, воспроизведение и иное использование электронной книги, ее частей, фрагментов и элементов, выходящее за пределы частного использования в личных (некоммерческих) целях, без согласия правообладателя является незаконным и влечет уголовную, административную и гражданскую ответственность.
© Joat Enterprises, 2021
© Издание на русском языке, перевод, оформление. ООО «Альпина нон-фикшн», 2024
* * *
1
Непостижимая эффективность
Математический язык удивительно хорошо подходит для формулировки физических законов. Это чудесный дар, который мы не можем осмыслить и которого не заслуживаем. Нам остается лишь благодарить за него судьбу и надеяться, что и дальше сможем пользоваться им. В любом случае сфера его применения будет расширяться, принося нам не только радость, но и новые головоломные проблемы.
ЮДЖИН ВИГНЕР.
Непостижимая эффективность математики в естественных науках
Для чего нужна математика?
Что она дает нам в повседневной жизни?
Не так давно у нас были простые ответы на эти вопросы. Базовой арифметикой средний гражданин пользовался практически постоянно, хотя бы для проверки чека при совершении покупок. Элементарная геометрия была нужна плотникам. Геодезистам и штурманам требовалась также тригонометрия. Инженерное дело было немыслимо без дифференциального и интегрального исчисления.
Сегодня все иначе. Сумму чека подсчитывает кассовый терминал в супермаркете, он же учитывает скидки и начисляет налог с продаж. Мы же слушаем звуковые сигналы сканера штрихкодов, и если на каждую покупку приходится один сигнал, то считаем, что все в порядке. Многие профессии по-прежнему требуют обширных математических знаний, но даже там мы уже отдали большую часть математики на откуп электронным устройствам со встроенными алгоритмами.
Предмет, о котором я собираюсь вести речь, неосязаем. Трудно заметить то, что нельзя пощупать и ощутить.
Может показаться, что математика вышла из моды и устарела, но такой взгляд ошибочен. Без математики современный мир попросту развалился бы. В доказательство своего утверждения я покажу вам ее применение в политике и юриспруденции, в трансплантологии почек и в доставке заказов из супермаркета, в интернет-безопасности, в киношных спецэффектах и при изготовлении пружин. Мы увидим, что без математики немыслимы медицинские сканеры, цифровая фотография, широкополосные каналы связи и спутниковая навигация, она помогает нам предсказывать результаты климатических изменений, защищаться от террористов и интернет-хакеров.
Примечательно, что во многих компьютерных приложениях используется математический аппарат, созданный для совершенно иных целей. Готовя материалы для этой книги, я раз за разом натыкался на такие области применения математики, о которых даже не подозревал. Зачастую задействовались разделы, которые, казалось бы, не имеют практического применения, вроде заполняющих пространство кривых, кватернионов и топологии.
Математика – безграничная, исключительно креативная система представлений и методов. Она скрывается под поверхностью тех преобразующих технологий, которые делают XXI век с его видеоиграми, международным авиасообщением, системами спутниковой связи, компьютерами, интернетом и мобильными телефонами совершенно непохожим на предшествующую эпоху{1}. Поскребите какой-нибудь iPhone, и увидите яркий отблеск математики.
Пожалуйста, не воспринимайте это предложение буквально.
* * *
Многие склонны считать, что компьютеры с их почти чудесными возможностями делают математиков, да и саму математику, неактуальными. Но компьютеры вытесняют математиков не больше, чем микроскопы вытесняют биологов. Благодаря компьютерам мы теперь иначе занимаемся математикой, но в целом они лишь освобождают нас от монотонной работы. Они дают нам время подумать, помогают выискивать закономерности и добавляют в наш арсенал новый мощный инструмент, позволяющий развивать математику быстрее и эффективнее.
На самом деле главная причина того, что математика становится все более необходимой, как раз и состоит в повсеместном распространении дешевых и мощных компьютеров. Их появление открыло новые возможности для приложения математики к задачам реального мира. Методы, которые прежде не применялись из-за слишком большого объема вычислений, сегодня стали рутиной. Величайшие математики эпохи карандаша и бумаги развели бы руками в отчаянии при виде метода, требующего миллиарда вычислительных операций. Сегодня нас это не смущает, поскольку мы обладаем технологией, позволяющей проводить математические операции за доли секунды.
Математики давно находятся на острие компьютерной революции вместе с представителями бесчисленных других профессий. Вспомните хотя бы Джорджа Буля, который положил начало математической логике, составляющей основу современной компьютерной архитектуры. Вспомните Алана Тьюринга и универсальную машину, названную его именем, – математическую систему, способную вычислять все, что в принципе поддается вычислению. Вспомните Мухаммеда аль-Хорезми, чей алгебраический трактат, написанный примерно в 820 году, подчеркивал роль систематических вычислительных процедур, называемых теперь в его честь алгоритмами.
Большинство алгоритмов, которые определяют впечатляющие возможности компьютеров, прочно опираются на математику. Многие задействованные в них решения взяты, что называется, «с полки», из уже существующего запаса математических идей. Например, алгоритм PageRank компании Google, который дает количественную оценку значимости веб-сайта и является основой целой индустрии с многомиллиардным оборотом. Даже в наимоднейшем алгоритме глубокого обучения искусственного интеллекта используются давно испытанные и проверенные математические концепции, такие как матрицы и взвешенные графы. В одном из методов решения такой прозаической задачи, как поиск документа по конкретной цепочке символов, задействована математическая абстракция под названием «конечный автомат».