Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Для южно-австралийской художницы и преподавателя искусств см Джулия Робинсон (художник) .
Джулия Холл Боуман Робинсон
Джулия Робинсон 1975.jpg
Джулия Робинсон в 1975 году
Родившийся8 декабря 1919 г.
Сент-Луис , штат Миссури , США
Умер30 июля 1985 г. (65 лет)
Окленд , Калифорния , США
НациональностьСоединенные Штаты
ГражданствоАмериканец
Альма-матерКалифорнийский университет в Беркли
ИзвестенДиофантовы уравнения
Разрешимость
Супруг (а)Рафаэль М. Робинсон
НаградыЛектор Нётер (1982)
научный сотрудник Макартура
Научная карьера
ПоляМатематик
УчрежденияКалифорнийский университет в Беркли
ДокторантАльфред Тарский
Под влияниемЮрий Матиясевич

Джулия Холл Боуман Робинсон (8 декабря 1919 - 30 июля 1985) был американским математиком отметил , за ее вклад в области теории вычислимости и теории сложности вычислений -Большего особенно в задачах принятия решений . Ее работа над 10-й проблемой Гильберта (ныне известной как теорема Матиясевича или теорема MRDP) сыграла решающую роль в ее окончательном решении. Робинсон был стипендиатом Макартура 1983 года .

Ранние годы [ править ]

Робинсон родился в Сент-Луисе, штат Миссури , в семье Ральфа Бауэрса Боумена и Хелен (Холл) Боуман. [1] : 4 Ее отец владел компанией по производству машинного оборудования, а ее мать до замужества работала школьной учительницей. [1] : 4 Ее мать умерла, когда Робинсону было 2 года, и ее отец снова женился. [1] : 4 Ее старшая сестра была математическим популяризатором и биографом Констанс Рид, а ее младшая сестра - Билли Комсток. [1] : 22

Когда ей было 9 лет, ей поставили диагноз скарлатина, за которой вскоре последовала ревматическая лихорадка. [2] : 4 Из-за этого она пропустила два года в школе. Когда она снова выздоровела, ее частным обучением был учитель начальной школы на пенсии. Всего за один год она смогла закончить пятый, шестой, седьмой и восьмой год обучения. [1] : 4 Она посещала среднюю школу Сан-Диего и прошла тест на IQ, который набрал 98 баллов, что на пару баллов ниже среднего. [2] Тем не менее, Юлия выделялась в старшей школе как единственная ученица, изучающая математику и физику на продвинутом уровне. [1] : 4Она закончила среднюю школу с наградой Бауш-Ломба за выдающиеся научные достижения. [3]

В 1936 году Робинсон поступила в Государственный университет Сан-Диего в возрасте 16 лет. [1] : 4 Неудовлетворенная учебной программой по математике в Государственном университете Сан-Диего, она перешла в Калифорнийский университет в Беркли в 1939 году на выпускной курс. Прежде чем она смогла перейти в Калифорнийский университет в Беркли, ее отец покончил жизнь самоубийством в 1937 году из-за финансовой нестабильности. [1] : 5 За первый год обучения в Беркли она прошла пять курсов математики, [4] один из которых был курсом теории чисел, который вел Рафаэль М. Робинсон . Она получила степень бакалавра в 1940 г. [1] : 5и позже вышла замуж за Рафаэля в 1941 году. [1] : 5

Математические материалы [ править ]

После окончания учебы Робинсон продолжил обучение в аспирантуре Беркли. Будучи аспиранткой, Робинсон работала ассистентом преподавателя на кафедре математики, а затем ассистентом лаборатории статистики у Ежи Неймана в статистической лаборатории Беркли, где ее работа привела к ее первой опубликованной статье под названием « Заметка о точной последовательности». Анализ » . [1] : 5

Робинсон получила докторскую степень. степень в 1948 году под руководством Альфреда Тарского, защитив диссертацию на тему «Проблемы определения и решения в арифметике». [3] : 14 Ее диссертация показала, что теория рациональных чисел является неразрешимой проблемой , продемонстрировав, что элементарная теория чисел может быть определена в терминах рациональных чисел. (Уже было известно, что элементарная теория чисел неразрешима в соответствии с первой теоремой Гёделя о неполноте .) [5]

Вот отрывок из ее диссертации:

«Это следствие нашего обсуждения интересно тем, что результат Гёделя показывает, что разнообразие отношений между целыми числами (и операций с целыми числами), которые арифметически определимы в терминах сложения и умножения целых чисел, очень велико. Например, из теоремы 3.2 и результат Гёделя, мы можем заключить, что отношение, которое имеет место между тремя рациональными числами A, B и N тогда и только тогда, когда N является положительным целым числом и A = B N , определимо в арифметике рациональных чисел ». [6]

Десятая проблема Гильберта [ править ]

Десятая проблема Гильберта требует алгоритма, чтобы определить, имеет ли диофантово уравнение какие-либо решения в целых числах . Робинсон начал изучать методы решения этой проблемы в 1948 году, работая в корпорации RAND . Ее работа над диофантовым представлением для возведения в степень и ее метод использования уравнения Пелла привели в 1950 году к гипотезе JR (названной в честь Робинсона). Доказательство этой гипотезы будет центральным в окончательном решении. Ее исследовательские публикации привели к сотрудничеству с Мартином Дэвисом , Хилари Патнэм и Юрием Матиясевичем . [7]

В 1950 году Робинсон впервые встретился с Мартином Дэвисом, тогда преподававшим в Университете Иллинойса в Урбане-Шампейн, который пытался показать, что все наборы со свойством листинга были диофантовыми, в отличие от попытки Робинсона показать, что несколько специальных наборов, включая простые числа и степени двойки - были диофантовы. Робинсон и Дэвис начали сотрудничать в 1959 году, а позже к ним присоединилась Хилари Патнэм, после чего они показали, что решение уравнения «Златовласки» является ключом к десятой проблеме Гильберта. [8]

В 1970 году проблема была решена отрицательно; то есть они показали, что такого алгоритма не может быть. В течение 1970-х Робинсон продолжала работать с Матиясевич над одним из выводов их решения, которое она однажды заявила, что

существует константа N такая, что, учитывая диофантово уравнение с любым количеством параметров и с любым количеством неизвестных, можно эффективно преобразовать это уравнение в другое с теми же параметрами, но только с N неизвестными, так что оба уравнения разрешимы или неразрешимы для одинаковые значения параметров. [3]

Когда решение было впервые опубликовано, авторы установили N = 200. Совместная работа Робинсона и Матиясевича приведет к дальнейшему сокращению до 9 неизвестных. [3]

Теория игр [ править ]

В конце 1940-х Робинсон провел год или около того в корпорации RAND в Санта-Монике, исследуя теорию игр. Ее технический отчет 1949 года «О гамильтоновой игре (задача коммивояжера)» [9] является первой публикацией, в которой используется фраза « задача коммивояжера ». [10] Вскоре после этого она опубликовала статью под названием « Итерационный метод решения игры » в 1951 году [1] : 7 В своей статье она доказала, что фиктивная игровая динамика сходится к смешанной стратегии равновесия по Нэшу в нулевой игре двух игроков. -сумма игр. Это было сделано Джорджем Брауном.в качестве призового задания в RAND Corporation . [5] : 59

Профессор Калифорнийского университета в Беркли [ править ]

Робинсону не разрешили преподавать на математическом факультете в Беркли после женитьбы на Рафаэле М. Робинсоне в 1941 году, поскольку существовало правило, запрещавшее членам семьи работать вместе на одном факультете. [1] Вместо этого Робинсон остался в отделе статистики, несмотря на то, что хотел преподавать математику. Хотя Рафаэль вышел на пенсию в 1973 году, только в 1976 году ей предложили должность профессора на полную ставку в Беркли после того, как департамент услышал о ее назначении в Национальную академию наук . [11]

Почести [ править ]

После того, как Робинсон решил десятую проблему Гильберта, Сондерс Мак Лейн номинировал ее в Национальную академию наук. Альфред Тарский и Ежи Нейман также вылетели в Вашингтон, округ Колумбия, чтобы объяснить NAS, почему ее работа так важна и как она внесла огромный вклад в математику. [11] В 1975 году она была первой женщиной-математиком, избранной в Национальную академию наук. [1]

Робинсон была избрана первой женщиной-президентом Американского математического общества . Ей потребовалось время, чтобы принять номинацию, говорится в ее автобиографии:

«В 1982 году меня выдвинули на пост президента Американского математического общества. Я понял, что был выбран, потому что я женщина и потому что у меня есть печать одобрения Национальной академии. После обсуждения с Рафаэлем, который считал, что мне следует отказаться и сохранить свою энергию для математики, и других членов моей семьи, которые расходились с ним, я решил, что как женщина и математик у меня нет другого выхода, кроме как принять. Я всегда старался делать все, что мог поощрять талантливых женщин становиться математиками-исследователями. Моя работа в качестве президента Общества показалась мне сложной, но очень, очень удовлетворительной ». [3]

В 1982 году Робинсон получила награду Нётер от Ассоциации женщин-математиков и прочитала серию лекций под названием « Функциональные уравнения в арифметике». [12] Примерно в это же время ей также была вручена стипендия MacArthur Fellowship Prize в размере 60 000 долларов. В 1985 году она также стала членом Американской академии искусств и наук .

Политическая работа [ править ]

В 1950-х Робинсон был активным участником местной демократической партии . Она была менеджером кампании Алана Крэнстона в округе Контра-Коста, когда он баллотировался на свой первый политический пост, государственный контролер. [5] [11]

"Я не помню точно, что произошло, но в итоге Джулия в эти годы вовлеклась в мельчайшие детали политики Демократической партии - она ​​регистрировала избирателей, набивала конверты, звонила в дверные звонки в районах, где люди ожидали оказаться заплатила за их голос. Она даже работала менеджером кампании Алана Крэнстона в округе Контра Коста, когда он успешно баллотировался на пост контролера штата - его первый политический пост ».

-  Констанс Рид [11]

Робинсон также был волонтером в президентских кампаниях Адлая Стивенсона . [13]

Смерть и наследие [ править ]

В 1984 году Робинсону поставили диагноз лейкемия , и она умерла в Окленде, штат Калифорния , 30 июля 1985 года. [1] [5]

"Одна из последних просьб Джулии заключалась в том, чтобы не было отпевания и чтобы те, кто желает сделать подарок в ее память, вносили взносы в Фонд Альфреда Тарского, который она сыграла важную роль в создании в честь своего покойного учителя, друга и коллеги. Скромная до конца, она позволила своему характеру и достижениям говорить сама за себя ».

-  Соломон Феферман [1]

В ее честь был назван Фестиваль математики Джулии Робинсон, спонсируемый Американским институтом математики с 2013 г. по настоящее время и Исследовательским институтом математических наук с 2007 по 2013 гг.

Джордж Чиксери продюсировал и снял часовой документальный фильм о Робинсоне под названием «Десятая проблема Джулии Робинсон и Гильберта» , премьера которого состоялась на Объединенном собрании математиков в Сан-Диего 7 января 2008 г. [14] Извещения Американского математического общества напечатали обзор фильма [ 15] и интервью с режиссером. [16] The College Mathematics Journal также опубликовал обзор фильма. [17]

Примечания [ править ]

  1. ^ Б с д е е г ч я J к л м п о р Феферману, Соломона (1994). «Джулия Боумен Робинсон, 1919–1985» (PDF) . Биографические воспоминания . 63 . Вашингтон, округ Колумбия: Национальная академия наук. С. 1–28. ISBN  978-0-309-04976-4. Проверено 18 июня 2008 .
  2. ^ a b Рид, Констанс (1986). Автобиография Джулии Робинсон (PDF) . Журнал математики колледжа. С. 3–21 . Проверено 22 ноября 2018 года .
  3. ^ a b c d e «Мое сотрудничество с ДЖУЛИЕЙ РОБИНСОН» . logic.pdmi.ras.ru . Проверено 28 августа 2018 .
  4. ^ https://www.nap.edu/read/4560/chapter/21#455
  5. ^ a b c d Рид, Констанс (1996). Юля: Жизнь в математике . Вашингтон, округ Колумбия: Математическая ассоциация Америки. ISBN 0-88385-520-8.
  6. ^ Робинсон, Дж. (1949). Задачи определимости и решения в арифметике. Журнал символической логики, 14 (2), 98-114. DOI: 10.2307 / 2266510
  7. ^ Робинсон, Джулия; Дэвис, Мартин; Патнэм, Хилари (1961). Проблема решения для экспоненциальных диофантовых уравнений . Принстонский университет: Анналы математики.
  8. ^ https://www.sciencenews.org/article/how-julia-robinson-helped-define-limits-mat Mathematical- knowledge
  9. ↑ Робинсон, Джулия (5 декабря 1949 г.). «О гамильтоновой игре (задача коммивояжера)» (RM-303). Санта-Моника, Калифорния: Rand Corporation . Дата обращения 2 мая 2020 . Цитировать журнал требует |journal=( помощь )
  10. ^ Схрейвер «S 2005 документ«Об истории комбинаторной оптимизации (до 1960 г.). Справочник по дискретной оптимизации ( К. Aardal , Л. Nemhauser , Р. Weismantel, ред.), Elsevier, Амстердам, 2005, стр. 1-68 . PS , PDF
  11. ^ a b c d Рид, Констанс (1996). Быть сестрой Джулии Робинсон . Провиденс, Род-Айленд: Уведомления Американского математического общества. С. 1486–1492.
  12. ^ "Брошюра Нётер: Джулия Робинсон, Функциональные уравнения в арифметике". Ассоциация женщин-математиков. Проверено 18 июня 2008 г.
  13. ^ https://www.sciencenews.org/article/how-julia-robinson-helped-define-limits-mat Mathematical- knowledge
  14. ^ Джулия Робинсон и десятая проблема Гильберта на IMdB
  15. ^ Вуд, Кэрол (май 2008 г.). "Обзор фильма: Джулия Робинсон и десятая проблема Гильберта" (PDF) . Уведомления Американского математического общества . Провиденс, Род-Айленд: Американское математическое общество. 55 (5): 573–575. ISSN 0002-9920 . Проверено 6 июня 2008 .  
  16. ^ Кассельман, Билл (май 2008 г.). «Интервью с Джорджем Чиксери» (PDF) . Уведомления Американского математического общества . Провиденс, Род-Айленд: Американское математическое общество. 55 (5): 576–578. ISSN 0002-9920 . Проверено 6 июня 2008 .  
  17. ^ Мюррей, Маргарет AM (сентябрь 2009 г.). «Свой фильм». Журнал математики колледжа . Вашингтон, округ Колумбия: Математическая ассоциация Америки. 40 (4): 306–310. ISSN 0746-8342 . 

Ссылки [ править ]

  • Дэвис, Мартин (1970–1980). «Робинзон, Джулия Боуман». Словарь научной биографии . 24 . Нью-Йорк: Сыновья Чарльза Скрибнера. С. 265–268. ISBN 978-0-684-10114-9.
  • Матиясевич, Юрий (1992). «Мое сотрудничество с Джулией Робинсон» . Математический интеллект . 14 (4): 38–45. DOI : 10.1007 / BF03024472 . ISSN  0343-6993 . Руководство по ремонту  1188142 . S2CID  123582378 .
  • Лэмб, Эвелин (22 ноября 2019 г.). «Как Джулия Робинсон помогла определить пределы математических знаний» . ScienceNews.org . Проверено 24 ноября 2019 года .
  • Вольфрам, Стивен (2002). Новый вид науки . Wolfram Media, Inc., стр. 1152, 1160–1161, 1163. ISBN 1-57955-008-8.

Внешние ссылки [ править ]

  • "Джулия Боуман Робинсон", Биографии женщин-математиков , Колледж Агнес Скотт
  • О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Джулия Робинсон" , архив истории математики MacTutor , Университет Сент-Эндрюс.
  • Джулия Робинсон в проекте « Математическая генеалогия»
  • Джулия Боуман Робинсон в Интернете ( зеркало )
  • Трейлер к "Десятой проблеме Джулии Робинсон и Гильберта" на YouTube