Робинсон, Джулия: биография
В 1961 году Джулия Робинсон перенесла операцию на сердце, в результате которой был удалён рубец из митрального клапана. Операция была успешной, и она стала более активной физически — в частности, занялась ездой на велосипеде.
В 1975 году Джулия Робинсон стала первой женщиной-математиком, избранной в Национальную академию наук США. В 1976 году она получила возможность стать полным профессором в университете в Беркли, но из-за проблем со здоровьем смогла нести лишь четверть положенной преподавательской нагрузки. В 1979 году получила почётную степень от Колледжа Смита. В 1982 году была избрана президентом Ассоциации президентов научных обществ, но была вынуждена отказаться из-за проблем со здоровьем; в том же году она была избрана президентом Американского математического общества. В 1985 году была избрана в Американскую академию искусств и наук.
Летом 1984 года у Джулии Робинсон был диагностирован лейкоз. Лечение принесло некоторое облегчение, но потом болезнь обострилась, и в 1985 году она скончалась. В следующем году её муж учредил Фонд Джулии Боумэн-Робинсон (Julia Bowman Robinson Fund).
Научные достижения
Основным вкладом в математику Джулии Робинсон являются её работы, связанные с решением Десятой проблемы Гильберта. В работе 1952 года она сформулировала достаточное условие для существования диофантова представления для операции возведения в степень. В 1961 году в совместной с Мартином Дэвисом и Хилари Патнэмом статье было получено экспоненциально-диофантово представление для любого перечислимого множества. Одним из следствий работы стала возможность сведения любого показательно-диофантова уравнения к экспоненциально-диофантову уравнению с фиксированным числом переменных. Опираясь на эти работы, Юрий Матиясевич в 1970 году смог сделать финальный шаг в решении Десятой проблемы Гильберта.
Помимо этого, в своей докторской диссертации «Определимость и разрешимость проблем в арифметике» Джулия Робинсон доказала неразрешимость арифметики рациональных чисел. Во время работы на корпорацию RAND она доказала теорему, касающуюся игры двух игроков с нулевой суммой, которая была оценена как «самая важная теорема в элементарной теории игр».
