Шрифт:
Кори понимал это. Я уповаю только на то, что учителя наподобие меня [36] не пытались, вопреки нашим лучшим намерениям, переубедить его.
Моя жена, математик-исследователь, однажды указала мне на курьезный паттерн математической жизни.
Шаг 1. В воздухе повис сложный и захватывающий вопрос, важная гипотеза нуждается в доказательстве. Многие пытаются приручить зверя, но безуспешно.
Шаг 2. В конце концов кто-нибудь находит длинное и запутанное доказательство, оно чрезвычайно глубокое, но за мыслью сложно уследить.
36
Моим учителем в этой главе был Дэвид Кламп, чьи замечания сочетали эрудицию кого-то вроде Карла Сагана с мягкой человечностью кого-то вроде Карла Сагана (похоже, Дэвид и есть Карл Саган).
Шаг 3. Со временем публикуются новые доказательства, они становятся все короче и проще, пока в конце концов самое первое доказательство не приобретает статус артефакта: неэффективная лампочка Эдисона выходит из употребления, уступая место более современным и изящным инженерным решениям.
Почему эта траектория настолько распространена?
Ну, в первый раз, когда вы находите истину, вы часто бредете колдобистым, извилистым путем. Вам делает честь то терпение, которое вы проявили, чтобы пережить все перипетии. Но требуется еще больше терпения, чтобы продолжить думать дальше. Только тогда вы сумеете отделить необходимые шаги от излишних, пойти напрямик и сократить нудное 120-страничное доказательство до цельного десятистраничного.
В 1920-е годы алгебра, вероятно, была самой скучной из всех отраслей математики [37] . Заниматься алгеброй означало увязнуть в трясине мелочей, угодить в терновый куст громоздких технических формальностей, в дисциплину деталей.
И вот в 1921 году математик по имени Эмми Нётер [38] опубликовала статью под названием «Теория идеалов в кольцевых областях». Забрезжила заря новой эпохи. Позже ее коллега сказал, что это рассвет «абстрактной алгебры как осознанной дисциплины». Нётер не была заинтересована в распутывании конкретных числовых схем. На самом деле она отложила саму идею числ'a в сторону. Для нее имели значение только симметрия и структура. «Она учила нас думать, пользуясь простыми и, соответственно, общими терминами, – вспоминал впоследствии один из ее коллег. – Поэтому она открыла путь к выявлению алгебраических закономерностей там, где раньше закономерности не были ясны».
37
Israel Kleiner, “Emmy Noether and the Advent of Abstract Algebra,” A History of Abstract Algebra (Boston: Birkh"auser, 2007), 91–102,Я исказил аргумент Клейнера; ключевая идея в том, что в XIX веке удалось добиться больших успехов в геометрии и математическом анализе, но алгебра оставалась в первозданном закостенелом состоянии.
38
Joaquin Navarro, Women in Maths: From Hypatia to Emmy Noether. Everything is Mathematical (Spain: R. B. A. Coleccionables, S. A., 2013) [Наварро Х. Женщины-математики: от Гипатии до Эмми Нётер. Вып. 37. 2014. – (Сер.: Мир математики).]
Конец ознакомительного фрагмента.