Энн Морел

Энн К. Морель (также опубликованная как Энн С. Дэвис, умерла 22 июля 1984 г.) была американским математиком, известным своими работами в области логики, теории порядка и алгебра. Она была первой женщиной-профессором математики в Вашингтонском университете.

• 1 Образование и карьера
• 2 Научные исследования
• 3 Личная жизнь
• 4 Избранные публикации
• 5 Список литературы

Морел окончил в 1941 году Калифорнийский университет в Лос-Анджелесе. Она начала аспирантуру по математике в 1942 году в Калифорнийском университете в Беркли, но оставила учебу, чтобы служить в WAVES (женский военно-морской резерв США) во время World Вторая война. Она вернулась к учебе в Беркли в 1946 году и защитила докторскую диссертацию. в 1953 г. Ее диссертацию «Исследование арифметики порядковых типов» возглавлял Альфред Тарский, и она касалась порядковой арифметики.

. После двух лет работы доцентом в Беркли и должностей в Калифорнийский университет в Дэвисе и Институт перспективных исследований (1959–1960), она поступила на математический факультет Вашингтонского университета в 1960 году, и в 1961 году стала штатным адъюнкт-профессором там. В конце концов она стала там первой женщиной-профессором математики, и в течение многих лет она была единственной женщиной-профессором математики в университете.

Как В рамках своей дипломной работы в 1952 году Морел нашла два разных счетного порядковых чисел, квадраты которых равны. После того, как Вацлав Серпинский упростил ее конструкцию, они опубликовали ее совместно.

В 1955 году Морель опубликовал обращение к теореме Кнастера – Тарского, согласно которой каждые Неполная решетка имеет возрастающую функцию без фиксированной точки.

Ее статья 1965 года с Томасом Фрейном и Даной Скотт «Уменьшенные прямые продукты» дает основные определения уменьшенные продукты в теории моделей. Он был опубликован после того, как были обнаружены несколько важных приложений этих определений, и был назван «классическим справочным документом». Ее единственная публикация с ее советником Альфредом Тарски была кратким объявлением о связанных исследованиях с использованием сокращенных произведений в связи с теоремой компактности в математической логике. Среди других результатов он предоставил доказательство теоремы компактности с использованием ультрапроизведений. В отношении Чен Чунг Чанг она также использовала восстановленные продукты, чтобы показать, что достаточное условие для сохранения свойств в рамках прямых продуктов, полученных Альфредом Хорном, не было также необходимое условие.

Темы ее более поздних исследований включали теорию групп, полугруппы и конфинальность в универсальной алгебре. Ее последняя публикация, опубликованная посмертно, была «Конфинальность алгебр» (1986).

Во время своей военной службы Морел встретила и вышла замуж за Алана Дэвиса, другого математика. Однако их брак не увенчался успехом, и Дэвис устроился в Университет Невады, Рино, а Морел вернулась к учебе в Калифорнийском университете в Беркли. Они развелись в 1955 году.

В Беркли Морел завела роман со своим советником Альфредом Тарски в 1950 году, примерно в то же время, что и другая студентка-любовница Тарского, Ванда Шмиелев покинул Беркли, чтобы вернуться в Польшу. Тарский был женат на Марии Витковской (на которой он женился в 1929 году), но когда Морель развелся с ее мужем Аланом Дэвисом в 1955 году, Тарский предложил развестись с Марией и вместо этого жениться на Мореле. Однако она ему отказала. Вместо этого в 1957 году она вышла замуж за адвоката Делоса Морела. Хотя Морели и Тарски оставались в дружеских отношениях, по крайней мере, до 1960 года, Морел в конце концов пришел к мнению, что обращение Тарского с другими ученицами-студентками «воспользовалось своим положением власти в том смысле, который она теперь считала неприемлемым».

У Морель было две дочери, Жанна (1958 г.р.) и Верена (1962–2002 гг.). Морел умер 22 июля 1984 года. Ее муж Делос стал главным судьей по административным делам в Апелляционном совете по промышленному страхованию штата Вашингтон и умер в 2008 году.