Об оправдании своей деятельности

Хорошая работа делается отнюдь не «скромными» людьми. Одна из важнейших обязанностей профессора, преподающего любой предмет, состоит в том, чтобы немного преувеличить важность своего предмета и своего участия в его развитии. Человек, постоянно задающий вопросы «Стоит ли заниматься тем, что я делаю?» и «Тот ли я человек, который справится с этим делом?» всегда будет неэффективен и к тому же будет расхолаживать других. Он должен слегка прикрыть глаза и думать о своём предмете и самом себе немного лучше, чем они того заслуживают. Сделать это не слишком трудно: труднее не выставить свой предмет и себя на посмешище, зажмурившись слишком плотно.

Человеку, решившему оправдать своё существование и свою деятельность, необходимо различать два несхожих по существу вопроса. Первый вопрос состоит в том, стоит ли заниматься тем, чем он занимается; второй — в том, почему он этим занимается (какова бы ни была ценность того, чем он занимается).

Первый вопрос часто оказывается очень трудным, а ответ на него — обескураживающим, но несмотря на это большинство людей находят второй вопрос достаточно лёгким. Их ответы, если они честны, обычно принимают ту или другую из двух форм, причём вторая форма является всего лишь более скромной вариацией первой, которую нам надлежит рассмотреть серьёзно.

(1) «Я занимаюсь тем, чем занимаюсь потому, что это единственное что я умею делать хорошо. Я адвокат, биржевой брокер или профессиональный крикетист потому, что обладаю некоторым талантом, позволяющим мне выполнять именно данную конкретную работу. Я адвокат потому, что у меня хорошо подвешен язык и меня интересуют всякого рода юридические тонкости. Я биржевой брокер потому, что могу быстро и точно оценивать ситуацию на рынке ценных бумаг. Я профессиональный крикетист потому, что могу очень хорошо играть в крикет. Я признаю, что быть поэтом или математиком возможно и лучше, но к сожалению не обладаю талантом для занятий поэзией или математикой».

Я отнюдь не утверждаю, будто большинство людей может выдвигать такие аргументы в своё оправдание, так как большинство людей вообще не умеют ничего делать хорошо. Но подобная апологетика становится несокрушимой, если её можно выдвинуть, не впадая при этом в противоречие, как это умеет делать незначительное меньшинство людей: возможно, пять или даже десять процентов людей могут делать что-то сравнительно неплохо, очень мало людей умеет делать что-то действительно хорошо, а число тех, кто умеет хорошо делать две вещи, пренебрежимо мало. Если человек обладает настоящим талантом, то ему следует без раздумий идти на почти любые жертвы, чтобы развить свой талант полностью.

Подобную точку зрения разделяет [английский писатель, составитель «Словаря английского языка»] д-р Джонсон.

Когда я сказал ему, что мне приходилось видеть, как [его тезка] Джонсон скакал одновременно на трёх лошадях, он ответил: «Такого человека, сэр, следовало бы поощрять, сэр, ибо то, что он делает, показывает пределы человеческих возможностей».

Ясно, что д-р Джонсон аплодировал бы альпинистам, пловцам, переплывающим Ла-Манш и шахматистам, играющим вслепую. Со своей стороны я полностью одобряю все попытки такого рода, направленные на замечательные достижения. Я с большой симпатией отношусь даже к фокусникам и чревовещателям, и когда [чемпион мира по шахматам] Алехин и Брэдмен идут на побитие рекорда, я испытываю глубочайшее разочарование, если они терпят неудачу. В этом и д-р Джонсон, и я полностью солидарны с широкой публикой. Как очень точно выразился [живописец и график] У. Тёрнер, только «высоколобые» (в негативном смысле) не восхищаются настоящими «большими людьми».

Разумеется, нельзя не учитывать то, что различные виды деятельности имеют различную ценность. Я предпочёл бы быть романистом или художником, чем государственным деятелем того же ранга; существует немало дорог к известности, которые большинство из нас отвергает как совершенно неприемлемые. Однако при выборе человеком карьеры различия в ценности той или иной профессии редко служат опорной шкалой: выбор рода деятельности почти всегда диктуется ограничениями природных способностей человека. Поэзия обладает более высокой ценностью, чем крикет, но Брэдмен был бы последним дураком, если бы пожертвовал крикетом, чтобы стать автором второсортных и незначительных поэтических произведений (я считаю маловероятным, чтобы в области поэзии он был способен на большее). Если бы Брэдмен играл в крикет не столь блестяще, а его успехи в области поэзии были бы более значительными, то выбор мог бы оказаться более затруднительным. Не знаю, кем бы я хотел стать: Виктором Трампером или Рупертом Бруком. К счастью, такого рода дилеммы возникают очень редко.

Могу добавить, что возникновение таких дилемм перед математиком маловероятно. Различия между мыслительными процессами, протекающими у математиков и других людей, обычно сильно преувеличены, однако нельзя отрицать, что математические способности — талант весьма особого рода и что математики как класс не отличаются ничем особенным от остальных людей ни по части общих способностей, ни быстротой мышления. Если человек в каком-то смысле настоящий математик, то сто шансов против одного, что в математике он достигнет гораздо большего, чем в другой области, и было бы глупо, если бы он поддался любой обманчивой возможности проявить свой талант для того, чтобы сделать что-нибудь невыдающееся в других областях. Такую жертву можно было оправдать разве что экономической необходимостью или возрастом.

[…]

Существует также то, что я бы назвал «более скромной вариацией» стандартной апологии, но от неё можно отделаться буквально в несколько слов.

(2) «Нет ничего, что я мог бы делать особенно хорошо. Я занимаюсь тем, чем занимаюсь потому, что мне пришлось этим заниматься. В действительности мне никогда не представлялась возможность заняться чем-нибудь другим». Эту апологию я также воспринимаю как убедительную. Абсолютная истина состоит в том, что большинство людей ничего не может делать хорошо. Коль скоро это так, то не имеет особого значения, какую карьеру они выбирают, и говорить об этом больше нечего. Это вполне убедительный ответ, но его вряд ли даст человек, обладающий хотя бы в какой-то степени гордостью, и я могу предположить, что ни один из нас не согласился бы с таким ответом.

Карточка №96

О признаках серьезных математических теорем

Под «серьёзной» принято понимать теорему, содержащую «значительные» идеи. Мне кажется, что нужно попытаться провести более подробный анализ тех качеств, которые делают математическую идею значительной. Сделать это очень трудно, и маловероятно, что проводимый мной анализ окажется очень ценным. Мы узнаем «значительную» идею, когда нам случается её видеть, как мы узнали значительные идеи в приведённых выше теоремах Евклида и Пифагора, но способность распознать важное требует весьма высокой степени математической мудрости и знания математических идей, которое берётся только от многолетнего пребывания в их компании. Поэтому я всё же попытаюсь проанализировать в какой-то мере «серьёзности» математической идеи и сделать анализ при всей его неадекватности разумным и понятным насколько это возможно. Два качества играют существенную роль: общность и глубина идеи, но ни одно из них не поддаётся определению легко и просто.

Значительная математическая идея, серьёзная математическая теорема должна обладать «общностью» в каком-то следующем смысле. Идея должна быть составляющей частью многих математических конструкций, используемых в доказательствах многих теорем различного рода. Теорема должна быть такой, что даже если первоначально она сформулирована в весьма частном виде (как теорема Пифагора), она должна допускать существенное обобщение и быть типичной для целого класса теорем аналогичного рода. Отношения, выявляемые в ходе её доказательства, должны связывать многие различные математические идеи. Всё это очень смутно и требует многочисленных уточнений. Но, как нетрудно видеть, теорема вряд ли может претендовать на роль серьёзной теоремы, если в ней явно недостаточно этих свойств. Нам остаётся только привести примеры отдельных курьезов, которые во множестве встречаются в арифметике. Приведу, два примера, заимствованных мной почти наугад из книги «Математические эссе и развлечения» Роуза Болла и Коксетера.

(а) 8712 и 9801 единственные четырёхзначные числа, равные целым кратным числам, полученным при записи в обратном порядке:

8712 = 4 · 2178, 9801 = 9 · 1089.

Других чисел, не превосходящих 10000, которые бы обладали этим свойством, не существует.

(б) Существуют только четыре числа (кроме 1), равных сумме кубов цифр, например,

153=13+53+33,

370=33+73+03,

371=33+73+13,

407=43+03+73.

Все это забавные факты, весьма подходящие для газетных колонок с головоломками, способные позабавить любителей, но ничего в них не затронет сердце математика. Их доказательства не трудны и не интересны, а всего лишь немного утомительны. Соответствующие утверждения, как теоремы, не серьёзны. Ясно, что одна из причин этого (хотя, вероятно, не самая важная) — чрезмерная конкретность как формулировок, так и доказательств, не допускающих никаких обобщений.

* * *

«Общность» — многозначное и весьма опасное слово, и мы должны тщательно следить за тем, чтобы оно не слишком доминировало в наших обсуждениях. Оно используется в различных смыслах и в математике и в литературе о математике, и на общности, понимаемой в одном из смыслов, логики делают особый акцент, хотя для нас такое понимание логиков здесь полностью неуместно. В этом смысле, как нетрудно доказать, все математические теоремы обладают одинаковой и полной «общностью».

«Определённость математики, — говорит Уайтхед, — зависит от её совершенно абстрактной общности». Когда мы утверждаем, что 2+3=5, мы говорим об отношении между тремя группами «вещей», и эти «вещи» — не яблоки, монеты или вещи того или иного вполне определённого рода, а просто «вещи», «любые виды вещей». Смысл утверждения совершенно не зависит от индивидуальностей членов групп. Все математические «объекты», «сущности» или «отношения», такие, как «2», «3», «5», «+" или «=», и все математические предложения, в которые они входят, носят совершенно общий характер в том смысле, что они совершенно абстрактны. Одно из слов в утверждении Уайтхеда излишне, так как общность в этом смысле есть абстрактность.

Этот смысл слова «общность» важен, и логики поступают вполне справедливо, подчёркивая его, так как он воплощает в себя трюизм, о котором весьма многие из тех, кто должен был бы разбираться в этом лучше, склонны забывать. Например, нередко приходится слышать, как какой-нибудь астроном или физик заявляет, будто ему удалось найти «математическое доказательство» того, что физическая Вселенная должна вести себя так, а не иначе. Все такие заявления, если интерпретировать их буквально, представляют собой абсолютный нонсенс. Невозможно доказать математически, что завтра произойдёт солнечное или лунное затмение потому, что затмения и другие физические явления не входят в качестве составных частей в абстрактный мир математики. Я убеждён, что все астрономы были бы вынуждены признать правильность этого утверждения, сколько бы затмений они ни предсказали до этого.

Ясно, что сейчас нас интересует «общность» иного рода. Мы ищем различия в общности математических теорем, которые в смысле Уайтхеда все обладают одинаковой общностью. Таким образом, «тривиальные» теоремы (а) и (в) из § 15 столь же «абстрактны» или «общи», как теоремы Евклида и Пифагора и как любая шахматная задача. Для шахматной проблемы безразлично, какого цвета фигуры — белые и чёрные или красные и зелёные и, вообще, существуют ли физические «фигуры». Во всех этих случаях мы имеем дело с одой и той же задачей, которую знаток легко держит в голове, а нам приходится трудолюбиво воспроизводить на шахматной доске. Нужно сказать, что шахматная доска и фигуры — всего лишь устройства, стимулирующие наше вялое воображение и имеющие к сути проблемы ничуть не больше отношения, чем доска и мел — к теоремам, доказываемым на лекции по математике.

Речь идёт не о той общности, которая присуща всем математическим теоремам, поиском которой мы занимались до сих пор. Сейчас нас интересует та, более тонкая и неуловимая, общность, которую я попытался в общих чертах описать [ранее]. И нам следует тщательно следить за тем, чтобы не делать чрезмерный акцент даже на такой общности (как это имеют обыкновение делать логики, например, Уайтхед). Это не просто «нагромождение тонкостей обобщения на тонкости обобщения», принадлежащее к числу выдающихся достижений современной математики. Некоторая мера общности должна присутствовать в любой теореме высокого класса, но чрезмерная дозировка общности неизбежно приводит к «бесцветности» теоремы. «Всё есть то, что оно есть, а не другое», и различия между вещами не менее интересны, чем сходство между ними. Мы выбираем своих друзей не потому, что они воплощают в себя все приятные качества, какие только могут быть присущи людям, а потому, что они являются теми, кто они есть. Так происходит и в математике; свойство, общее для слишком многих объектов, вряд ли может быть очень интересным, и математические идеи также становятся скучными, если не обладают индивидуальностью в достаточной мере. Здесь я по крайней мере могу процитировать Уайтхеда, выступающего в данном случае на моей стороне: «Плодотворная концепция заключается в широком обобщении, ограниченном удачной конкретизацией».

* * *

Второе свойство, которое я потребовал от значительной идеи, — её глубина. Определить его ещё труднее. Оно каким-то образом связано с трудностью; «более глубокие» идеи обычно труднее постичь, но вместе с тем это не одно и то же. Идеи, лежащие в основании теоремы Пифагора и её обобщений весьма глубоки, но современный математик не счёл бы их трудными. С другой стороны, теорема может быть в сущности поверхностна, но очень трудна для доказательства (таковы, например, очень многие «диофантовы» теоремы, т. е. теоремы о решении уравнений в целых числах).

Создаётся впечатление, что математические идеи «стратифицированы», т. е. расположены как бы слоями, идеи в каждом слое связаны целым комплексом отношений между собой и с идеями, лежащими в верхних и нижних слоях. Чем ниже слой, тем глубже (и, как правило, труднее) идея. Так, идея «иррационального числа» глубже идеи целого числа, и по этой причине теорема Пифагора глубже теоремы Евклида.

Сосредоточим внимание на отношениях между целыми числами или в какой-нибудь другой группе объектов, лежащих в каком-нибудь конкретном слое. Может случиться так, что одно из этих отношений окажется полностью понятным, что мы сможем распознать и доказать, например, какое-нибудь свойство целых чисел, не зная о содержании слоев, расположенных ниже. Так, теорему Евклида мы доказали, рассматривая только свойства целых чисел. Но существует также немало теорем о целых числах, которые мы не можем должным образом оценить и ещё в меньшей степени доказать, не «копая» глубже и не выясняя того, что происходит в лежащих ниже слоях.

Нетрудно привести соответствующие примеры из теории простых чисел. Теорема Евклида очень важна, но не отличается особой глубиной: мы можем доказать, что существует бесконечно много простых чисел, не пользуясь ничем глубже понятия «делимости». Но как только мы узнаем, что простых чисел бесконечно много, сразу же возникают новые вопросы. Да, простых чисел бесконечно много, но как они распределены? Пусть N — некоторое большое число, например,1080 или 10 в степени 1010. Сколько существует простых чисел, не превосходящих числа N? (Ранее я упомянул о том, что существует 50 847 478 простых чисел, не превосходящих числа 1 000 000 000, но это предел, до которого простирается наше точное значение.) Стоит нам задать эти вопросы, как мы оказываемся в совершенно ином положении. Мы в состоянии ответить на них с поразительной точностью, но только если копнем глубже, оставив на время в стороне целые числа, и воспользуемся самым мощным оружием современной теории функций. Таким образом, теорема, дающая ответ на наши вопросы (так называемая «теорема о распределении простых чисел»), гораздо глубже теоремы Евклида или даже теоремы Пифагора.

Я мог бы легко увеличить число примеров, но понятие «глубины» неуловимо даже для математика, способного его распознать, и вряд ли я могу сказать ещё что-нибудь об этом понятии, что будет особенно полезным читателям-неспециалистам.

Карточка №97

Про разницу чистой и прикладной математики

Контраст между чистой и прикладной математикой выступает, по-видимому, с наибольшей ясностью в геометрии. Существует наука чистой геометрии, включающая в себя многочисленные геометрии: проективную, евклидову, неевклидову[, «аналитическую»] и т. д. Каждая из этих геометрий переставляет собой модель, образ из идей, и судить о ней следует по интересу и красоте её индивидуального «образа». Это карта или картина, совместный продукт многих рук, частичная и несовершенная (но тем не менее точная на всём своём протяжении) копия фрагмента математической реальности. Но для нас сейчас важно то, что есть нечто такое, по отношению к чему чистые геометрии не являются картинами, а именно: пространственно-временная реальность физического мира. В том, что чистые геометрии не могут быть картинами реальности, нет ни малейшего сомнения, так как землетрясения и затмения не принадлежат к числу математических концепций.

Для постороннего человека это звучит несколько парадоксально, но для геометрии это — труизм. Возможно, я смогу пояснить свою мысль на примере: предположим, что я читаю лекцию по одной из систем геометрии, например, по обычной евклидовой геометрии, и рисую на доске фигуры, чтобы стимулировать воображение моей аудитории, — грубые чертежи из прямых, окружностей или эллипсов. Ясно, что истинность доказываемых мной теорем не зависит от качества моих чертежей. Их функция состоит лишь в том, чтобы донести до моих слушателей то, что я имею в виду, и если я смогу это сделать, то не будет пользы от того, что их перерисует искусный чертёжник. Мои чертежи выполняют вспомогательную педагогическую функцию и не являются тем, что составляет предмет моей лекции.

Сделаем ещё один шаг. Помещение, в котором я читаю лекцию, составляет часть физического мира и само обладает определённым образом. Изучение этого образа и общего образа физической реальности само по себе является наукой, которую можно назвать «физической геометрией». Предположим теперь, что в аудиторию поместили мощную динамомашину или массивное гравитирующее тело. Физики скажут нам, что геометрия помещения изменилась, что весь его физический образ немного, но совершенно определённо исказился. Стали ли ложными теоремы, которые я доказал. Ясно, что было бы глупо ожидать, будто на доказательствах теорем, которые я приводил на лекции, каким-то образом сказалось наличие в аудитории динамомашины или гравитирующего тела. Это аналогично предположению о том, что пьеса Шекспира изменилась от того, что некий читатель пролил на страницу чай. Пьеса не зависит от страниц, на которых она напечатана, и «чистые геометрии» не зависят от комнаты, в которой читается лекция или от любых других деталей физического мира.

Такова точка зрения чистого математика. Естественно, что прикладные математики, математические физики придерживаются другой точки зрения, так как они имеют дело с самим физическим миром, который также обладает своей структурой, или образом. Мы не можем дать точное описание этого образа, как в случае чистой геометрии, но можем сказать о нём нечто важное. Мы можем описать, иногда с достаточной точностью, иногда — лишь в общих чертах, отношения между некоторыми составляющими структуры физического мира и сравнить их с точными отношениями между составляющими какой-нибудь системы чистой геометрии. Мы можем уловить некоторые сходства между двумя наборами отношений, и тогда чистая геометрия обретает интерес для физиков. В этом случае мы получаем карту, согласующуюся с фактами физического мира. Геометр предлагает физику целый набор карт на выбор. Возможно, что одна карта будет лучше соответствовать фактам, чем другие. В этом случае геометрия, порождающая лучшую карту, окажется геометрией, наиболее важной для прикладной математики. Можно добавить, что оценка такой геометрии даже со стороны чистого математика может повыситься, так как нет математика настолько чистого, чтобы он был напрочь лишен интереса к физическому миру, но в той мере, в какой он уступит этому искушению, он утратит свою позицию чистого математика.

Карточка №98

О контакте математиков и физиков с реальностью

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

Я начал с утверждения о том, что различия между позициями математика и физика меньше, чем обычно принято думать. Самое важное заключается в том, что математик контактирует с действительностью гораздо ближе, чем физик. Такое утверждение может показаться парадоксом, так как именно физика, изучающего материальные предметы и явления, обычно принято называть «реалистом». Но достаточно немного поразмыслить, чтобы понять, что физическая реальность, какой бы она ни была, обладает весьма немногими атрибутами (если обладает ими вообще), которые здравый смысл интенсивно приписывает реальности. Стул может быть набором обращающихся вокруг ядер электронов или идеей в уме Господа Бога — каждое из этих описаний, возможно, обладает своими достоинствами, но ни одно из них не соответствует представлениям здравого смысла.

Далее я заметил, что ни физики, ни философы не дали сколько-нибудь убедительного описания «физической реальности» или того, как физик переходит от запутанной массы фактов или ощущений, с которой он начинает, к конструкции тех объектов, которые физик называет «реальными». Например, мы не можем сказать, будто бы нам известно, что такое физика, но это отнюдь не должно мешать нам понимать в общих чертах, что именно пытается делать физик. Ясно, что физик пытается скооперировать разрозненную массу сырых фактов, с которыми он сталкивается, имея в своём распоряжении некоторую определённую упорядоченную схему абстрактных отношений — ту разновидность схемы, которую физик может позаимствовать только из математики.

С другой стороны, математик имеет дело со своей собственной математической реальностью. Как было объяснено [ранее], я предпочитаю «реалистическую», а не «идеалистическую» точку зрения на математическую реальность. Во всяком случае (и в этом состоял мой главный тезис), такая реалистическая точка зрения на математическую реальность гораздо более правдоподобна, чем на физическую реальность потому, что математические объекты в гораздо большей степени таковы, какими они кажутся. Стул или звезда ничуть не похожи на то, чем они кажутся; чем больше мы думаем об этом, тем более расплывчатыми становятся их очертания в мареве окружающих их ощущений; но «2» или «317» не имеют никакого отношения к ощущениям, и свойства числа выступают тем более отчётливо, чем пристальнее мы его рассматриваем. Возможно, что современная физика лучше всего укладывается в рамки идеалистической философии. Лично я в это не верю, но так говорят некоторые выдающиеся физики. С другой стороны, чистая математика представляется мне скалой, на которой зиждется идеализм: число 317 простое не потому, что мы думаем так, и не потому, что наш разум устроен так, а не иначе, а потому, что это так, потому, что математическая реальность устроена так.

Карточка №99

О смысле жизни невыдающегося математика

[…] Я написал много работ, но очень мало из них имели хотя бы какое-то значение: лишь четыре или пять из них я всё ещё могу вспомнить с некоторым удовлетворением. Настоящий перелом в моей карьере наступил дважды: через десять или двенадцать лет — в 1911 году, когда я начал продолжительное сотрудничество с Литлвудом, и в 1913 году, когда я открыл Рамануджана. С тех пор все мои лучшие работы были связаны с их работами, и не подлежит сомнению, что моё сотрудничество с ними стало решающим событием моей жизни. Я и сейчас говорю себе, когда мне приходится выслушивать помпезных докучливых людей: «А всё-таки мне удалось сделать одну вещь, которую ни за что не удастся сделать вам: я сотрудничал с Литлвудом и Рамануджаном на равных». Именно им, Литлвуду и Рамануджану, я обязан необычно поздней зрелостью: мой расцвет как математика произошёл, когда мне было слегка за сорок и я был профессором в Оксфорде. Затем наступила фаза всё большего угасания — обычная судьба престарелых людей, в особенности престарелых математиков. В шестьдесят лет математик может оставаться вполне компетентным, но бесполезно ожидать от него оригинальных идей.

Ныне жизнь моя, если иметь в виду то, ради чего стоит жить, закончена, и я не могу сделать ничего такого, что бы сколь-нибудь значительно увеличило или уменьшило её ценность. Очень трудно быть беспристрастным, но я считаю, что моя жизнь прожита «успешно». Я был достаточно вознаграждён — не меньше, чем причитается человеку моих способностей. Я занимал ряд приличных и «престижных» постов. Не имел никаких хлопот, связанных с утомительной университетской рутиной. Я ненавидел «преподавание», и мне пришлось очень мало им заниматься. То, что выпало на мою долю по части преподавания, сводилось почти исключительно к руководству исследованиями. Я любил читать лекции и читал много лекций чрезвычайно способным студентам, и у меня всегда оставалось много свободного времени для собственных работ, которые служили великим и неизбывным счастьем моей жизни. Оказалось, что я легко могу работать с другими, и мне выпало основательно посотрудничать с двумя исключительными математиками. Это позволило мне внести в математику гораздо больший вклад, чем я мог бы рассчитывать в разумных пределах. Как и у любого другого математика, у меня были разочарования, но ни одно из них не было слишком серьёзным и не сделало меня особенно несчастным. Если бы мне предложили прожить такую же жизнь, не лучше и не хуже, когда мне было бы двадцать лет, то я согласился бы без малейших колебаний.

Было бы абсурдно полагать, будто я мог бы «добиться большего». Я не обладаю ни лингвистическими ни артистическими способностями и не питаю ни малейшего интереса к экспериментальной науке. Я мог бы быть сносным философом, но не очень оригинальным. Полагаю, что из меня мог бы получиться хороший адвокат, но журналистика — единственная профессия вне академической жизни, в которой я реально мог бы иметь шанс на успех. Нет сомнения в том, что я правильно выбрал профессию математика, если судить по критерию, который принято называть успехом.

Итак, если я хотел разумно комфортной и счастливой жизни, то мой выбор был правильным. Но адвокаты, биржевые брокеры и букмекеры нередко тоже ведут комфортную и счастливую жизнь, и что-то не видно, чтобы мир становился богаче от их существования. Есть ли какой-нибудь смысл в моём утверждении, что моя жизнь была менее тщетной, чем их? И снова я вижу лишь один возможный ответ: возможно, есть, но если это и так, то лишь по одной причине.

Я никогда не делал ничего «полезного». Ни одно моё открытие не способствовало ни прямо, ни косвенно увеличению или уменьшению добра или зла и не оказало ни малейшего влияния на благоустроенность мира. Я помогал воспитывать других математиков, но математиков такого же рода, как и я сам, и их работы, во всяком случае в той части, в которой я помогал им, были столь же бесполезны, как и мои собственные работы. По любым практическим меркам ценность моей математической жизни равна нулю, а вне математики она, так или иначе, тривиальна. У меня есть лишь один шанс избежать вердикта полной тривиальности — если будет признано, что я создал нечто такое, что заслуживает быть созданным. А в том, что мне удалось создать нечто такое, нет сомнения: вопрос заключается лишь в том, насколько ценно то, что я создал.

Смысл моей жизни или жизни кого-нибудь ещё, кто был математиком в том же смысле, в каком был математиком я, заключается в следующем: я внёс нечто своё в сокровищницу знания и помог другим сделать то же, и эти «нечто» обладали ценностью, которая отличалась только величиной, но никак не сущностью, от творений великих математиков или любых других художников, больших и малых, которые оставили после себя нерукотворные памятники.

Карточка №101

Последние изменения: 22 февраля 2017

Поделиться
Отправить