На
обложке изображен Теренс Чи Шен Тао (родился
в 1975 г.), австралийский и американский математик, работающий
в основном в области гармонического анализа, дифференциальных
уравнений в частных производных, комбинаторики, теории чисел и теории
представлений. Наиболее известной его работой стало доказательство (совместно
с британским математиком Беном Грином) существования неограниченно длинных
арифметических прогрессий простых чисел (теорема Грина — Тао).
Теренс
Тао родился в городе Аделаида. Он был одаренным ребенком: в двухлетнем
возрасте самостоятельно освоил буквы и цифры из телепередачи «Улица Сезам»
и пытался обучить своего пятилетнего родственника азам математики и английского.
В 8 лет он стал одним из двух детей, которые получили больше 700 баллов
в Программе исследования исключительных талантов Университета Джонса
Хопкинса в математической секции (Тао набрал 760 баллов). Выиграв золотую
медаль в 13 лет, он стал самым молодым её обладателем в истории
Международной математической олимпиады. В 14 лет Теренс поступил в Институт
научных исследований, в 20 — получил докторскую степень, в 24 года стал самым
молодым профессором Калифорнийского университета в Лос-Анджелесе.
Характерной
особенностью работы Тао является интенсивная совместная работа со многими учеными,
одновременная погруженность в самые разные разделы современной математики,
активная популяризаторская работа через блог, который он ведёт.
Совместно
с Ваном Ву ученый доказал циркулярный закон в теории случайных
матриц.
Тао
принадлежит теоретико-вероятностное усиление леммы Семереди о регулярности,
известное как неравенство Тао.
Совместно
с Нетсом Кацем получил многочисленные результаты в проблеме множеств
Какейи в арифметической комбинаторике.
После
прорыва Итан Чжана по проблеме простых чисел-близнецов Теренс Тао инициировал
коллективный проект по проблеме минимального расстояния между парами простых
чисел. Последний доказанный результат данного проекта устанавливает, что
существует бесконечно много соседних простых чисел, лежащих на расстоянии не
более 246 друг от друга.
В
2015 году он обогнал компьютер в решении проблемы несоответствия Эрдеша.
Эрдеш
полагал, что у любой бесконечной последовательности, состоящей из -1 и +1,
всегда найдется конечная подпоследовательность, несоответствие которой будет
больше, чем любое выбранное число. Ученый не доказал свое утверждение, однако
(как часто делал) в 1930 году предложил за него премию в 500 долларов.
В
2012 году математики российского происхождения, работающие в Ливерпульском
университете в Великобритании, предложили компьютерный вариант
доказательства утверждения Эрдеша. Они рассмотрели частный случай конечной
подпоследовательности из 1161 членов, а компьютер за шесть часов работы
выдал файл размером 13 гигабайтов, из которого следовало, что бесконечная
последовательность всегда будет иметь несоответствие больше 2. Доказательство
Тао заняло 20 страниц текста (вместе с титульным листом и списком
литературы). Аргументы математика использовали специального вида гипотезу
Эллиота — Халберстама (о распределении простых чисел в арифметической
прогрессии), а также данные, полученные в проекте Polymath5 —
добровольного объединения ученых, которые с помощью технологий типа
Wikipedia и блогов совместно работали над доказательством проблемы
несоответствия.
В
2006 году на 25-м Международном конгрессе математиков в Мадриде Тао стал
лауреатом Филдсовской премии, а в 2014 году вошел в число первых пяти
лауреатов «Премии за прорыв в математике», учрежденной Юрием Мильнером,
Марком Цукербергом и Сергеем Брином.
Сейчас
Тао работает профессором математики в Калифорнийском университете в Лос-Анджелесе.
Репутация Тао такова, что теперь математики соревнуются за его внимание
к их проблемам, он становится чем-то вроде спасательного круга для
измученных исследователей. «Если вы застряли на какой-то проблеме, единственный
путь выбраться из неё — заинтересовать Тао», — сказал Чарльз
Фефферман, профессор математики Принстонского университета.
