Джон Хортон Конвей (англ. John Horton Conway; 26 декабря 1937 — 11 апреля 2020) — британский математик.

Известен в первую очередь как создатель игры «Жизнь». Однако его вклад в математику весьма многообразен и значителен. В теории групп он открыл группы Конвея и сформулировал гипотезу чудовищного вздора. Совместно с соавторами заложил основы комбинаторной теории игр, попутно открыв сюрреальные числа. Также внёс вклад в теорию узлов, теорию чисел. Многие работы Конвея лежат в области занимательной математики или близки к ней. В целом он был склонен исследовать красивые, наглядные объекты, такие как игры или многогранники, не заботясь о том, какое значение это имеет с точки зрения фундаментальной или прикладной науки.

Родился в Ливерпуле. Окончил Кембриджский университет, получил там же степень PhD в 1964 году и остался там же преподавать. На рубеже 1960-х — 1970-х годов стал известен как в профессиональном сообществе (благодаря группам Конвея), так и среди широкой публики (благодаря игре «Жизнь»). С 1986 года и до самой смерти работал в Принстонском университете, США, где имел звание эмерит-профессора. Яркий лектор; помимо преподавания в университетах, читал лекции и писал статьи о математике для школьников и широкой публики.

Биография

Семья, учёба

Отец Джона Хортона Конвея, Сирил, не окончил школу, но активно занимался самообразованием. У Сирила Конвея и его жены Агнес Бойс было трое детей: Джоан, Сильвия и младший Джон, родившийся в 1937 году в Ливерпуле. Джон унаследовал от отца страсть к чтению и любовь к эффектным демонстрациям.

Джон Конвей был довольно замкнутым ребёнком, увлечённым математикой. Идею своей нотации для узлов он задумал ещё подростком.

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

В 1961 году женился на Эйлин Фрэнсис Хау. У Эйлин образование в области иностранных языков: французский и итальянский.

У Джона и Эйлин родились четыре дочери в 1962—1968 годах: Сьюзан, Роуз, Елена и Энн-Луиза.

Начало научной и преподавательской карьеры

Окончив колледж со степенью бакалавра в 1959 году, Джон Конвей стал аспирантом Гарольда Дэвенпорта. Тот сперва предложил для диссертации не слишком интересную задачу из области теории чисел о представлении целого числа в виде суммы пятых степеней. Конвей решил задачу, но не опубликовал эту свою работу. Позже решение опубликовал другой человек. Конвей в итоге получил степень PhD в 1964 году, защитив диссертацию об одной немного более интересной, но тоже достаточно малозначительной задаче об ординалах.

Конвей получил позицию там же, в колледже Гонвилл-энд-Киз, на кафедре чистой математики. Он читал лекции, и они пользовались большой популярностью благодаря ярким и наглядным объяснениям, практически цирковым трюкам и импровизациям. У него часто не было плана и текста собственных лекций. Его студент Эндрю Гласс сделал подробный, упорядоченный конспект его лекций по абстрактным автоматам; этот конспект просили скопировать многие студенты, а потом и сам лектор, и спустя несколько лет этот конспект превратился в первую книгу Конвея, Regular algebra and finite machines.

Короткая партия в рассаду: своим ходом каждый игрок соединяет две точки линией и ставит на ней новую точку, из точки исходит не более трёх линий; кто не может сделать ход — проигрывает.

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

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

Приход славы

Конец 1960-х и 1970-й годы выдались исключительно продуктивными для Конвея (он именует этот период annus mirabilis): он нашёл три новые спорадические группы, названные его именем, придумал правила игры «Жизнь» и построил сюрреальные числа.

Группы Конвея

В 1960-е годы активно шла работа по классификации простых конечных групп. Стало понятно, что может быть не открыто ещё несколько спорадических групп — простых конечных групп, не вписывающихся в общую классификацию. В это же время математик Джон Лич нашёл чрезвычайно симметричную решётку, названную его именем, и он предположил, что в её группе симметрии может содержаться новая спорадическая группа. Британский математик Джон Маккей рассказал об этой задаче многим коллегам, в том числе математикам из Кембриджа Джону Томпсону и Джону Конвею. Томпсон уже тогда был признанным корифеем теории групп (и чрезвычайно заняты́м человеком), Конвей же лишь обладал некоторыми знаниями в этой области. Томпсон предложил Конвею вычислить порядок группы симметрии решётки Лича. Тот решил взяться за эту задачу и приготовился заниматься ею по 6—12 часов дважды в неделю в течение нескольких месяцев.

В первый назначенный день исследования решётки Лича Конвей, по его словам, «поцеловал жену и детей на прощанье» и принялся за работу. И уже к вечеру этого дня он смог не только вычислить порядок группы, но и построить её и найти содержащиеся в ней три новые спорадические группы. За этим последовали дискуссии с Томпсоном, публикация результатов в статье 1968 года, путешествия по конференциям и семинарам по всему миру с докладами о найденных группах. С этого момента Джон Конвей смог больше не беспокоиться о том, достаточно ли серьёзной математикой он занимается.

Игра «Жизнь»

Конвей интересовался темой клеточных автоматов и, в частности, автоматом фон Неймана ещё с детства. Он поставил целью придумать как можно более простой клеточный автомат с нетривиальным, непредсказуемым поведением, надеясь, что в таком он случае он будет тьюринг-полным. Команда энтузиастов (Конвей, его коллеги и студенты) занималась перебором бесчисленных вариаций правил в поисках подходящих. Их усилия были вознаграждены, когда они придумали то, что стало известно как игра «Жизнь»[⇨]. Конвей изложил основные сведения об игре «Жизнь», которые удалось выяснить, в письме к Мартину Гарднеру 1970 года. Тот написал об игре «Жизнь» в своей колонке в журнале Scientific American, и эта заметка стала самой популярной из всех, вышедших в этой колонке. Игра «Жизнь» получила тысячи поклонников по всей Америке и за её пределами, а её изобретатель приобрёл известность среди широкой публики.

Вскоре Конвей доказал тьюринг-полноту игры «Жизнь» (доказательство не было опубликовано). После этого он практически потерял интерес к этой теме. Он был недоволен тем, насколько игра «Жизнь» более известна, чем другие его работы, и не слишком любил о ней рассказывать — кроме как отдельным интересующимся детям.

Сюрреальные числа и книги об играх

Годы изобретения и обдумывания игр не прошли даром. Ричард Гай развил теорию, описывающую широкий класс игр, и когда во второй половине 1960-х годов он и американский математик Элвин Берлекэмп задумали книгу об играх, они пригласили Конвея стать их соавтором. Пока шла работа над книгой, получившей название Winning Ways for Your Mathematical Plays, Конвей продолжал исследовать игры и обнаружил, что позиции в так называемых пристрастных играх могут быть выражены числами, причём множество необходимых для этого чисел включает не только целые и действительные числа, но и некоторые новые числа[⇨]. Дональд Кнут назвал эти числа сюрреальными. Конвей считал сюрреальные числа своим главным поводом для гордости.

Хотя теория пристрастных игр вошла в Winning Ways, она получила там не очень подробное освещение, особенно в части, касающейся сюрреальных чисел. Об этих числах Конвей написал Гарднеру в том же письме 1970 года, в котором сообщил об игре «Жизнь», а позже, в 1976 году, он быстро написал и выпустил собственную книгу On Numbers and Games о пристрастных играх и сюрреальных числах. Когда он сообщил об этом Берлекэмпу, тот был крайне недоволен и едва не рассорился с кембриджским соавтором, и только Гай смог помирить их. Winning Ways в итоге была дописана только в 1981 году; на следующий год книга вышла и стала бестселлером (несмотря на отсутствие рекламы от издательства), так же как и On Numbers and Games до того.

Эти две книги об играх, как и многие другие работы Конвея, несут явственный отпечаток его любви к неортодоксальной терминологии и каламбурам[12]: так, например, числа с чётным и нечётным количеством единиц в двоичной записи именуются, соответственно, злыми и одиозными — англ. evil и odious, ср. с even и odd (с англ. — «чётные» и «нечётные»).