Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

воспоминаниям, состояние Харди, который в то время окончательно впал в депрессию, «было не слишком веселым».

170

Это поднимает интересный вопрос о том, в какой степени они могут являться «настоящими» теоремами. Некий результат, в котором предполагается справедливость ГР, с моей точки зрения, сам, строго говоря, является гипотезой — или, если угодно, подгипотезой, но уж никак не настоящей теоремой. С учетом того, что математика считается наиболее точной из всех наук, математики не слишком последовательны по поводу использования таких терминов, как «предположение», «гипотеза» и «теорема». Почему, например, Гипотеза Римана — «гипотеза», а не «предположение»? Я не знаю, и мне не удалось найти никого, кто мог бы мне это разъяснить. И на беглый взгляд кажется, что эти замечания применимы, по-видимому, и к другим языкам, а не только к английскому. По-немецки, кстати, Гипотеза Римана — Die Riemannsche Vermutung, от глагола vermuten — высказывать догадку. (Неудивительно. Древнегреческое слово «гипотеза» как раз и означает «предположение». — Примеч. перев.)

171

Майкл Берри — профессор физики в Бристольском университете в Англии. Возведен в рыцарское достоинство в июне 1996 г., став таким образом сэром Майклом Берри. Я очень старался упоминать его как Берри при описании его работ, сделанных до 1996 г., и как сэр Майкл после этого, но не гарантирую, что всегда был последователен.

172

Где-то в конце 1980-х Cray-1 был дополнен компьютером Cray X-MP.

173

Самой ранней ссылкой на закон Монтгомери-Одлыжко (именно под таким названием), которую мне удалось найти, является статья Николаса Каца и Питера Сарнака, опубликованная в 1999 г. Слово «закон» здесь, конечно, понимается в физическом, а не в математическом смысле. Это факт, установленный эмпирическим путем, как законы движения планет, сформулированные Кеплером. Это не математический принцип, подобный правилу знаков. В статье Сарнака и Каца на самом деле был доказан закон для дзета- функций над конечными полями (см. главу 17.iii), что позволило перекинуть мост между алгебраическим и физическим подходами к ГР.

174

http://www.dtc.umn.edu/~odlyzko/zeta_table s/index.html (Примеч. перев.)

175

Ответ не гласит «половина». Сказать «половина» означало бы перепутать середину и среднее. Среднее из четырех чисел 1, 2, 3, 8 510 294 равно 2 127 575, но половина из них меньше, чем 3.

176

Известного в математике как «распределение Пуассона». Здесь, кстати, повсюду присутствует число e: например, указанное число 6 321 есть 10 000(1 ? 1/e).

177

Уравнение, которым задается изображенная на рисунке 18.5 кривая, имеет вид y = (320 000/?²) x²e ^?4х•x/?. Это скошенное распределение, а не симметричное, как гауссовское нормальное. Его пик находится при аргументе ¹/₂v?, т.е. 0,8862269…. Эту кривую для распределения последовательных интервалов ГУА предложил в качестве догадки Юджин Вигнер. Его догадка основывалась на небольшом количестве данных, собранных из экспериментов на атомном ядре. Позднее оказалось, что это не в точности правильная кривая, хотя она и находится в пределах ошибки около 1%. Истинная кривая, которую нашел Мишель Годен, описывается более сложным уравнением. Эндрю Одлыжко пришлось написать целую программу, чтобы ее нарисовать.

178

Свершившийся факт (франц.) (Примеч. перев.)

179

Уравнение живой силы — термин из истории механики. В современной русской научной литературе он мало распространен, и в переводе оставлено оригинальное латинское название. Данное уравнение выражает собой закон сохранения энергии при орбитальном движении. Здесь M — произведение гравитационной постоянной на массу того тела, вокруг которого обращается спутник,