Луиза Хэй (14 июня 1935 - 28 октября 1989) была американским математиком французского происхождения . Ее работа была сосредоточена на рекурсивно перечислимых множествах и теории вычислительной сложности , которая оказала влияние как на советских, так и на американских математиков в 1970-х годах. Когда ее назначили главой математического факультета Иллинойского университета в Чикаго , она была единственной женщиной, возглавлявшей математический факультет в крупном исследовательском университете того времени.
Биография [ править ]
Луиза Шмир родилась в Меце , Лотарингия, Франция, 14 июня 1935 года в семье Марджем (урожденная Шафран) и Самуэля Шмира. Ее мать умерла в 1938 году. Семья, имеющая польско-еврейское происхождение, бежала от нацистов , переехав в Швейцарию в 1944 году, а затем снова переехав в Нью-Йорк в 1946 году, где они преобразовали свою фамилию в английский язык на Шмир. Она училась в средней школе Уильяма Тафта в Бронксе и выиграла премию Westinghouse Science Talent Search в старшем классе. После окончания средней школы Шмир поступила в Swarthmore College .
В 1955 году, в конце первого года обучения, она вышла замуж за Джона Хэя, а затем получила степень бакалавра математики в 1956 году. Она начала учиться в магистратуре Корнельского университета , где учился ее муж, а когда он перешел в Оберлинский колледж , она последовала за ней. его там. Хотя она завершила свою работу по математической логике в Оберлине, в 1959 году Корнелл присвоил ей степень магистра. [1] Ее магистерская диссертация была озаглавлена «Аксиоматизация бесконечно многозначного исчисления предикатов». [2] В течение года она преподавала в Оберлине, а затем работала в Корнеллской авиационной лаборатории в Буффало, штат Нью-Йорк . [1]
Когда ее муж переехал в Бостон, она последовала за ним и три года проработала в колледже Маунт-Холиок . В 1963 году, после рождения первого сына, она вернулась в Корнелл, чтобы работать над докторской степенью. [1] В 1964 году у пары родились сыновья-близнецы. [1] В 1965 году она получила докторскую степень; ее докторская диссертация была посвящена сопростым изолам и была продвижением теории Деккера-Майиля-Нерода о рекурсивных типах эквивалентности. [3] В 1966 году она получила стипендию Национального научного фонда и в период с 1966 по 1968 год проводила исследования в Массачусетском технологическом институте . [1] В 1968 году Хэй развелась и переехала в Чикаго, получив должность доцента в Университете Иллинойса.. В 1970 году она вышла замуж за математика Ричарда Ларсона [1], в 1974 году у нее был диагностирован рак груди [4], а в 1975 году она стала профессором. [1] На протяжении 1970-х она много публиковала по рекурсивно перечислимым множествам и ввела понятие «слабого скачка», обобщение проблемы остановки, отличное от обычного понятия скачка Тьюринга . Она также доказала аналоги теорем Райса и Райса-Шапиро, а также работала над теориями теории сложности вычислений .
Ее работы оказали влияние как на советских, так и на американских математиков того времени. [3] Она стала соучредителем Ассоциации женщин-математиков (AWM), чтобы оказывать поддержку другим работающим матерям. [1] В 1978 году она выиграла стипендию Фулбрайта , как и ее муж, и они год учились на Филиппинах. В 1979 году Хэй была назначена исполняющей обязанности главы математического факультета Иллинойского университета, став единственной женщиной, возглавлявшей математический факультет исследовательского университета. [4] В 1980 году она была назначена в исполнительный совет AWM и оставалась на этом посту до 1987 года. Она также была назначена секретарем Ассоциации символической логики в 1982 году.
Смерть и наследие [ править ]
В 1988 году у Хэй случился рецидив рака груди, но она продолжала работать до своей смерти 28 октября 1989 года в Оук-парке, штат Иллинойс. [4] В 1990 году AWM учредил премию Луизы Хей за вклад в математическое образование, чтобы отметить Хей за ее вклад в математическую логику, ее лидерство и отметить женщину, которая внесла вклад в математику и образование. [5]
Ссылки [ править ]
- ^ a b c d e f g h Оукс 2007 , стр. 315.
- Перейти ↑ Hay 1959 .
- ^ а б Соаре 1990 , стр. 3.
- ^ a b c Оукс 2007 , стр. 316.
- ^ "Премия Луизы Хэй за вклад в математическое образование" . Фэрфакс, Вирджиния: Ассоциация женщин-математиков . Проверено 8 ноября 2015 года .
Библиография [ править ]
- Хэй, Луиза Шмир (1959). Аксиоматизация бесконечно многозначного исчисления предикатов . Итака, Нью-Йорк: Корнельский университет.CS1 maint: ref = harv ( ссылка )
- Оукс, Элизабет Х. (2007). Энциклопедия ученых мира . Нью-Йорк, Нью-Йорк: Издательство информационной базы. ISBN 978-1-4381-1882-6.CS1 maint: ref = harv ( ссылка )
- Соаре, Роберт И. (январь – февраль 1990 г.). "In Memoriam: Луиза Хэй 1935–1989" (PDF) . Информационный бюллетень Ассоциации женщин-математиков . Уэллсли, Массачусетс: Колледж Уэллсли. 20 (1).CS1 maint: ref = harv ( ссылка )
Дополнительные источники [ править ]
- Привет, Луиза. Как я стала математиком , Информационный бюллетень Ассоциации женщин-математиков, 1989 г. (стр. 8–10).
- Хьюз, Ронда. Благоприятные воспоминания Луизы Хэй , Информационный бюллетень Ассоциации женщин-математиков, 1990 г. (стр. 4–6).
Внешние ссылки [ править ]
- Луиза Хэй на agnesscott.edu (Биографии женщин-математиков)
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Луиза Шмир Хей" , архив истории математики MacTutor , Сент-Эндрюсский университет.
