Робинсон, Джулия (JkQnuvku, :'rlnx)

Перейти к навигации Перейти к поиску
Джулия Холл Робинсон
англ. Julia Hall Robinson
Имя при рождении англ. Julia Hall Bowman[1]
Дата рождения 8 декабря 1919(1919-12-08)[1]
Место рождения
Дата смерти 30 июля 1985(1985-07-30)[1] (65 лет)
Место смерти Окленд
Страна
Род деятельности математик, философ, преподаватель университета
Научная сфера математика, логика
Место работы Калифорнийский университет в Беркли
Альма-матер Калифорнийский университет в Беркли
Учёная степень
доктор философии (PhD) по математике [2]
Научный руководитель Альфред Тарский
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Джулия Холл Робинсон (англ. Julia Hall Robinson), урождённая Джулия Холл Боумэн (англ. Julia Hall Bowman, 8 декабря 1919 — 30 июля 1985) — американский математик, внёсшая большой вклад в математическую логику. Первая женщина, ставшая президентом Американского математического общества. Нётеровский чтец (1982).

Ранние годы и образование

[править | править код]

Родилась в 1919 году в Сент-Луисе (штат Миссури), в семье Ральфа Боуэрса Боумэна и Хелен Холл Боумэн. Два года спустя умерла мать, и Джулия вместе со старшей сестрой Констанс переехали в Финикс (штат Аризона), где жила их бабушка. Отец тем временем потерял интерес к своему бизнесу, женился на Эдении Криделбо и присоединился с новой женой к дочерям в Аризоне, после чего семья переехала в Сан-Диего (штат Калифорния), где стала жить на сбережения отца. Три года спустя у Джулии родилась ещё одна сестра — Билли[4].

Когда Джулии было 9 лет, она заразилась скарлатиной, что вынудило семью месяц провести в карантине. Конец карантина семья отпраздновала, посетив первый звуковой фильм. Год спустя у Джулии развилась острая ревматическая лихорадка, и ей пришлось год жить отдельно от семьи под присмотром сиделки: лечением ревматизма в то время были солнечные ванны и полная изоляция от окружающих людей[5]. Когда она стала чувствовать себя лучше, то начала проходить с репетитором школьную программу с 5 по 8 классы. Заявление репетитора о том, что сколько ни вычисляй новые знаки после запятой у квадратного корня из двух, они не начнут повторяться, вызвало у неё большой интерес. Когда она снова смогла посещать школу (начиная с 9 класса), то стала активно заниматься математикой. В старшей школе она прошла IQ тест с баллом 98, на два балла ниже среднего, что позднее объяснила отсутствием тем, что раньше не видела тестов и не умела их проходить. Тем не менее, она стала единственной ученицей, которая занималась математикой и физикой по углублённой программе. Окончила San Diego High School[англ.] с отличием по математике и получила награду Боша-Ломба за отличия в науках[6].

В 16 лет поступила в Университет Сан-Диего. Уровень преподавания математики её не устроил и она перевелась в Калифорнийский университет в Беркли в 1939 году. Это был разгар Великой депрессии, у отца кончились сбережения, и он покончил жизнь самоубийством[7]. Несмотря на смерть отца, она продолжила учёбу, стоившую 20 долларов в семестр, за счёт финансовой помощи от тёти, а также от старшей сестры, ставшей учительницей в Сан-Диего. Качество преподавания математики в колледже её не устроило, и на старших курсах она смогла перевестись в Калифорнийский университет в Беркли. Одним из курсов. которые она слушала в Беркли, стала теория чисел, которую вёл Рафаэль Робинсон[8]. Так как на этот предмет ходило всего четыре человека, то Джулия и Рафаэль познакомились довольно близко. Они стали проводить много времени вместе, а когда она лишилась работы, то Ежи Нейман смог устроить её своей ассистенткой, в результате чего она смогла в 1941 году получить степень магистра. 22 декабря 1941 года она вышла замуж за Рафаэля, однако после этого, в соответствии с действовавшими правилами (члены одной семьи не могли преподавать на одном и том же факультете), Джулия не могла оставаться в числе преподавателей математического факультета, и ей пришлось пойти к Нейману в лабораторию статистики, где она стала работать над секретными военными проектами[9].

Робинсон пыталась стать матерью, но долгожданная беременность прервалась на середине срока. Оказалось, что из-за перенесённого в детстве ревматизма у неё образовался рубец в митральном клапане. Врачи предупредили, что вторая беременность могла бы стоить ей жизни[5]. Из-за невозможности иметь детей у неё развилась депрессия. Справиться с ней помог муж, вновь пробудивший в ней интерес к математике[10].

В 1948 году Джулия Робинсон получила степень Ph.D., защитив диссертацию «Определимость и проблемы решения в арифметике» под руководством Альфреда Тарского. В том же году она начала работу над решением Десятой проблемы Гильберта — работу, которая заняла большую часть её жизни[11][12].

В 1949—1950 годах Робинсон в течение года работала на корпорацию RAND, занимаясь проблемами теории игр. Её статья 1949 года стала первой публикацией, где использовано название «Задача коммивояжёра»[13][14]. В 1951 году она опубликовала работу «Итеративный метод решения игры», в которой доказала теорему, касающуюся игры двух игроков с нулевой суммой, которая была оценена как «самая важная теорема в элементарной теории игр»[9].

В 1950-х годах она стала заниматься политикой и активно участвовать в деятельности местных организаций Демократической партии. В 1952 году она приняла участие в президентской кампании Эдлая Стивенсона, а когда в 1958 году Алан Крэнстон[англ.] баллотировался на пост Контролёра штата Калифорния — была главным менеджером его избирательной кампании в округе Контра-Коста[15][16].

В 1961 году Джулия Робинсон перенесла операцию на сердце, в результате которой был удалён рубец из митрального клапана. Операция была успешной, и она стала более активной физически — в частности, занялась ездой на велосипеде.

В 1975 году Джулия Робинсон стала первой женщиной-математиком, избранной в Национальную академию наук США. В 1976 году она получила возможность стать полным профессором в университете в Беркли, но из-за проблем со здоровьем смогла нести лишь четверть положенной преподавательской нагрузки. В 1979 году получила почётную степень от Колледжа Смита. В 1982 году была избрана президентом Ассоциации президентов научных обществ, но была вынуждена отказаться из-за проблем со здоровьем; в том же году она была избрана президентом Американского математического общества. В 1985 году была избрана в Американскую академию искусств и наук.

Смерть и наследие

[править | править код]

Летом 1984 года у Джулии Робинсон был диагностирован лейкоз. Лечение принесло некоторое облегчение, но потом болезнь обострилась, и в 1985 году она скончалась[10].

Одним из последних желаний Джулии было не устраивать пышные похороны. Всех желающих она попросила сделать взнос в фонд Альфреда Тарского, её друга, коллеги и учителя.

В 1985 году её муж учредил Фонд Джулии Боумэн-Робинсон (англ. Julia Bowman Robinson Fund).

В 1987 году сестра Джулии, Констанс Рид, получила премию имени По́йа от Математической ассоциации Америки за написанную от первого лица биографию Джулии[17].

Научные достижения

[править | править код]

Основным вкладом в математику Джулии Робинсон являются её работы, связанные с решением Десятой проблемы Гильберта. В работе 1952 года она сформулировала достаточное условие для существования диофантова представления для операции возведения в степень. В 1961 году в совместной с Мартином Дэвисом и Хилари Патнэмом статье было получено экспоненциально-диофантово представление для любого перечислимого множества. Одним из следствий работы стала возможность сведения любого показательно-диофантова уравнения к экспоненциально-диофантову уравнению с фиксированным числом переменных. Опираясь на эти работы, Юрий Матиясевич в 1970 году смог сделать финальный шаг в решении Десятой проблемы Гильберта.

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

Примечания

[править | править код]
  1. 1 2 3 Архив по истории математики Мактьютор — 1994.
  2. Definability and Decision Problems in Arithmetic, 1948
  3. http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/robinson-julia.pdf
  4. Feferman, 1994, с. 4, 22.
  5. 1 2 Lamb, E. How Julia Robinson helped define the limits of mathematical knowledge (англ.). ScienceNews (22 ноября 2019). Дата обращения: 20 марта 2023. Архивировано 1 ноября 2020 года.
  6. The Autobiography, 1986, с. 4.
  7. Feferman, 1994, с. 4.
  8. Biographical Memoirs. — 1994. — ISBN 978-0-309-04976-4. — doi:10.17226/4560. Архивная копия от 9 декабря 2020 на Wayback Machine
  9. 1 2 Feferman, 1994, с. 5.
  10. 1 2 Feferman, 1994.
  11. Matiyasevich, 1992, с. 38—45.
  12. Robinson, Davis, Putnam, 1961.
  13. Robinson, 1949.
  14. Schrijver, 2005.
  15. Reid, 1996.
  16. Constance Reid, 1996.
  17. The Mathematical Association of America's George Pólya Award. Mathematical Association of America. Дата обращения: 7 июня 2008. Архивировано 10 сентября 1999 года.

Литература

[править | править код]
  • Feferman, Solomon (1994). "Julia Bowman Robinson". Biographical Memoirs. National Academies of Sciences, Engineering, and Medicine. 63. doi:10.17226/4560.
  • Reid, Constance. The Autobiography of Julia Robinson. — The College Mathematics Journal, 1986. — P. 3–21.
  • Matiyasevich, Yuri (1992). "My Collaboration with JULIA ROBINSON". The Mathematical Intelligencer. 4 (4): 38–45. Дата обращения: 28 августа 2018.
  • Robinson, Julia. The Decision Problem for Exponential Diophantine Equations / Julia Robinson, Martin Davis, Hilary Putnam. — Princeton University : Annals of Mathematics, 1961.
  • Robinson, Julia (1949-12-05). "On the Hamiltonian game (a traveling salesman problem)" (англ.) (RM-303). Santa Monica, CA: The Rand Corporation. Архивировано 29 июня 2020. Дата обращения: 2 мая 2020. {{cite journal}}: Cite journal требует |journal= (справка)
  • Schrijver, Alexander. On the history of combinatorial optimization (till 1960). — Elsevier, 2005. — P. 1-68.
  • Reid, Constance. Julia: A life in mathematics. — Washington, DC : Mathematical Association of America, 1996. — ISBN 0-88385-520-8.
  • Reid, Constance. Being Julia Robinson's Sister. — Providence, RI : Notices of the American Mathematical Society, 1996. — P. 1486–1492.