Многие думают, что раз я работаю в области фундаментальной математики, я, наверное, занимаюсь делением в столбик, вычисляя множество знаков после запятой. Неужели мое рабочее место еще не занял электронный калькулятор? Такое ошибочное представление, что математики – это такие сверхвычислители, встречается часто. Но это вовсе не значит, что в моей работе нет вычислений. Многие изощренные математические темы начинались с задач, требовавших изобретения хитроумных арифметических методов, – как это было с шорткатом, который нашел в школе Карл Фридрих Гаусс. Существует богатая история шорткатов, которые открыли люди, пытавшиеся считать более рационально. Даже калькуляторы, которыми мы пользуемся сегодня, были запрограммированы с учетом некоторых из наиболее удачных шорткатов, придуманных на протяжении многих лет математиками.
Мы привыкли считать компьютеры всемогущими устройствами, способными сделать что угодно. Но возможности компьютеров тоже небезграничны. Взять хотя бы задачу о сложении чисел до 100, которую решал Гаусс. Разумеется, компьютер справится с ней без всякого труда. Однако бывают числа, слишком большие даже для компьютера. Если попросить его сложить все числа, меньшие такого числа, он зависнет. В целом компьютерам по-прежнему нужны люди, придумывающие шорткаты, которые, будучи вставлены в компьютерные программы, позволяют машинам делать больше и быстрее. В этой главе я расскажу о довольно поразительном применении одной на первый взгляд заумной математической идеи – мнимых чисел, – открывшем очень важный шорткат, который позволяет компьютерам решать множество самых разных задач, в том числе сажать самолеты достаточно быстро, чтобы они не сталкивались в воздухе.
Шорткат к счету
Уже то, как именно мы записываем числа, может определить, будут ли вычисления простыми или окажутся сложной и трудной работой, в которой легко ошибиться. Момент, когда мы поняли, что удобное символическое обозначение сложных идей – это шорткат к эффективному мышлению, был важным моментом развития человечества. Судя по историческим данным, каждая цивилизация осознавала, что письменность вообще и записывание устной речи в частности дает мощное средство для сохранения, передачи и использования новых идей. И каждый раз при возникновении новой системы письменности какого-либо языка, как правило, появлялись и новые хитроумные способы записи концепции чисел. Но те цивилизации, которые создавали более удобные системы записи чисел, получали в свое распоряжение шорткаты к более быстрым и рациональным методам вычислений и работы с данными.
Одним из самых первых шорткатов, открытых математиками, было удобство позиционной системы счисления. Когда вы считаете что-нибудь, будь то овцы или дни, в первую очередь вам может прийти в голову идея пометить каждую овцу или каждый день особым символом. По-видимому, именно так и считали первые люди. Имеются кости с зарубками, сделанными 40 000 лет назад, которые считают примером первых попыток счета.
Уже это достижение было важным. Оно отмечает начало зарождения абстрактной концепции чисел. Археологи не знают, что именно подсчитывали при помощи этих зарубок, но у людей уже было понимание, что у их количества и количества овец или дней, что бы они там ни считали, есть нечто общее. Проблема состоит в том, что отличить 17 от 18 в записи, сделанной зарубками на кости, может быть довольно непросто. Нужно заново пересчитать все зарубки. В какой-то момент почти в каждой культуре возникает светлая идея создания некой сокращенной, более удобной для чтения записи всех этих зарубок.
Несколько лет назад, когда я жил в Гватемале, меня заинтриговали странные последовательности точек и тире, встречавшиеся на тамошних банкнотах. Я спросил нашу соседку, не закодированы ли в местных деньгах надписи какой-то странной азбукой Морзе. Она объяснила, что это действительно код, но закодирован на каждой банкноте ее номинал. Точки и тире были сокращенным представлением способа записи чисел, существовавшим в культуре майя. Майя понимали, что человеческому мозгу трудно определять количество зарубок, когда их больше четырех. Поэтому они не ставили на странице все больше и больше точек, а, дойдя до пяти, проводили через четыре точки линию – как делают заключенные, считающие дни до выхода на свободу. Таким образом линия стала условным обозначением числа пять.
Но что делать, если нужно сосчитать еще большее количество? Древние египтяне разработали весьма впечатляющую систему иероглифов, обозначающих разные степени десяти. Число десять обозначалось изображением пут для скота (приспособления, ограничивающего движения животного), сто – веревочной петлей, тысяча – цветком кувшинки, десять тысяч – согнутым пальцем, сто тысяч – лягушкой и, наконец, миллион – коленопреклоненным человеком с воздетыми к небу руками; у него был такой вид, будто он только что выиграл в лотерею.