Все это в высшей степени глупо.
Скорость имеет одно баснословное преимущество: она экономит время. Но математика требует глубокого проникновения в суть поставленной задачи, подлинного понимания, элегантного подхода. Вы не достигнете ничего из вышеперечисленного, перемещаясь со скоростью 1000 км/ч. Вы лучше разберетесь в математике, если будете думать тщательно, а не на скорую руку, и вы лучше изучите ботанику, рассматривая каждую травинку, а не скача как одержимый через пшеничное поле.
Кори понимал это. Я уповаю только на то, что учителя наподобие меня[36] не пытались, вопреки нашим лучшим намерениям, переубедить его.
Моя жена, математик-исследователь, однажды указала мне на курьезный паттерн математической жизни.
● Шаг 1. В воздухе повис сложный и захватывающий вопрос, важная гипотеза нуждается в доказательстве. Многие пытаются приручить зверя, но безуспешно.
● Шаг 2. В конце концов кто-нибудь находит длинное и запутанное доказательство, оно чрезвычайно глубокое, но за мыслью сложно уследить.
● Шаг 3. Со временем публикуются новые доказательства, они становятся все короче и проще, пока в конце концов самое первое доказательство не приобретает статус артефакта: неэффективная лампочка Эдисона выходит из употребления, уступая место более современным и изящным инженерным решениям.
Почему эта траектория настолько распространена?
Ну, в первый раз, когда вы находите истину, вы часто бредете колдобистым, извилистым путем. Вам делает честь то терпение, которое вы проявили, чтобы пережить все перипетии. Но требуется еще больше терпения, чтобы продолжить думать дальше. Только тогда вы сумеете отделить необходимые шаги от излишних, пойти напрямик и сократить нудное 120-страничное доказательство до цельного десятистраничного.
В 1920-е годы алгебра, вероятно, была самой скучной из всех отраслей математики[37]. Заниматься алгеброй означало увязнуть в трясине мелочей, угодить в терновый куст громоздких технических формальностей, в дисциплину деталей.
И вот в 1921 году математик по имени Эмми Нётер[38] опубликовала статью под названием «Теория идеалов в кольцевых областях». Забрезжила заря новой эпохи. Позже ее коллега сказал, что это рассвет «абстрактной алгебры как осознанной дисциплины». Нётер не была заинтересована в распутывании конкретных числовых схем. На самом деле она отложила саму идею числá в сторону. Для нее имели значение только симметрия и структура. «Она учила нас думать, пользуясь простыми и, соответственно, общими терминами, – вспоминал впоследствии один из ее коллег. – Поэтому она открыла