Джулия Робинсон

Робинсонов на карте трое. Джулия — десятая проблема Гильберта. Абрахам — нестандартный анализ, однофамилец. Рафаэль — шесть плиток; он был её мужем.

Болезнь и Беркли

Родилась в 1919 году в Сент-Луисе под фамилией Боумен. В девять лет перенесла скарлатину, следом ревматическую лихорадку — два года пролежала в постели и на всю жизнь осталась с больным сердцем. Школьную программу нагоняла дома; в старших классах оказалась единственной девочкой на курсе математики.

Училась в Сан-Диего и Беркли, где в 1941 году вышла замуж за преподававшего там Рафаэля Робинсона. Из-за правила против работы супругов на одной кафедре штатного места в Беркли ей не давали тридцать лет; она читала отдельные курсы и работала по грантам. Диссертацию защитила в 1948 году у Альфреда Тарского — и в ней доказала, что арифметика рациональных чисел неразрешима.

Врачи запретили ей иметь детей. Тарский, узнав, что она подавлена, посоветовал ей заняться десятой проблемой Гильберта.

Одно условие

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

Мартин Дэвис, Хилари Патнэм и Джулия Робинсон в 1961 году доказали ослабленный вариант: всякое перечислимое множество представимо, если разрешить показательные уравнения. Оставалось убрать это «если» — то есть показать, что показательная функция сама диофантова.

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

1970

Нашёл его двадцатидвухлетний Юрий Матиясевич: условие выполняют числа Фибоначчи — они растут как $\varphi^{n}$, и утверждение «$m$ есть $2n$-е число Фибоначчи» оказалось диофантовым.

Известие дошло до США за несколько недель. Джулия Робинсон немедленно разобралась в доказательстве и написала автору письмо со словами о том, что теперь знает: он существует, — она столько лет надеялась, что задачу решит именно молодой человек, которого она ещё застанет.

Теорема носит имена всех четверых: DPRM — Дэвис, Патнэм, Робинсон, Матиясевич. С Матиясевичем они потом написали несколько совместных работ и дружили до её смерти.

Первая

В 1975 году Беркли наконец дал ей профессорскую ставку — сразу полную, минуя все ступени. В 1976-м она стала первой женщиной-математиком, избранной в Национальную академию наук США, в 1983-м — первой женщиной во главе Американского математического общества.

Президентское кресло она приняла с оговоркой, что не может быть уверена в своих силах: к тому времени ей поставили диагноз — лейкемия. Умерла в 1985 году в Окленде, шестидесяти пяти лет.

О том, кем себя считать, она говорила коротко: не «женщина-математик», а просто математик, и в биографической справке просила писать не список должностей, а то, что она решала задачи.