Anne C. Morel - Anne C. Morel

Anne C. Morel (shuningdek nashr etilgan Anne C. Devis, 1984 yil 22-iyulda vafot etgan) o'z faoliyati bilan tanilgan amerikalik matematik edi mantiq, tartib nazariyasi va algebra. U matematikaning birinchi ayol to'liq professori edi Vashington universiteti.

Ta'lim va martaba

Morel 1941 yilda tugatgan Kaliforniya universiteti, Los-Anjeles.[1] U 1942 yilda matematikadan aspiranturada o'qishni boshladi Berkli Kaliforniya universiteti, lekin o'qishni qoldirib, xizmat qilish uchun To'lqinlar (Qo'shma Shtatlar dengiz-dengiz zaxirasi) davomida Ikkinchi jahon urushi. 1946 yilda Berkli shahridagi o'qishga qaytdi,[2] va doktorlik dissertatsiyasini tugatdi. 1953 yilda. Uning dissertatsiyasi, Buyurtma turlari arifmetikasi bo'yicha tadqiqot, tomonidan nazorat qilingan Alfred Tarski,[3] va tegishli tartibli arifmetik.[2]

Ikki yildan beri Berklida assistent professor bo'lib,[2][4] va pozitsiyalari Kaliforniya universiteti, Devis[2] va Malaka oshirish instituti (1959–1960),[2][5] u matematika fakultetiga o'qishga kirdi Vashington universiteti 1960 yilda va 1961 yilda u erda dotsent bo'ldi.[1] Oxir oqibat u u erda matematikaning birinchi ayol to'liq professori bo'ldi,[2] va ko'p yillar davomida u universitetning yagona ayol matematika professori bo'lgan.[6]

Tadqiqotga qo'shgan hissalari

1952 yilda dissertatsiya ishi doirasida Morel ikkitasini topdi hisoblanadigan tartib raqamlari kimning kvadratchalar tengdir. Keyin Vatslav Sierpinskiy uning qurilishini soddalashtirdilar, ular birgalikda nashr etishdi.[A][7]

1955 yilda Morel bilan suhbatni nashr etdi Knaster-Tarski teoremasi, shunga ko'ra har biri to'liq bo'lmagan panjara yo'q bilan ortib boruvchi funktsiyaga ega sobit nuqta.[B][8]

Uning 1965 yildagi Tomas Frayn va Dana Skott, "To'g'ridan-to'g'ri mahsulotlar kamaytirilgan", ning asosiy ta'riflarini beradi kamaytirilgan mahsulotlar yilda model nazariyasi. Ushbu ta'riflarning bir nechta muhim dasturlari allaqachon topilganidan keyin nashr etilgan va "klassik ma'lumotnoma" deb nomlangan.[E][9] Uning maslahatchisi bilan yagona nashr, Alfred Tarski, bilan bog'liq ravishda kamaytirilgan mahsulotlardan foydalangan holda, tegishli tadqiqotlarning qisqacha e'lonlari edi ixchamlik teoremasi matematik mantiqda.[C] Boshqa natijalar qatorida u ixchamlik teoremasidan foydalanishni isbotladi ultra mahsulotlar.[10] Bilan Chen Chung Chang, shuningdek, xususiyatlarning saqlanib qolishi uchun etarli shart ekanligini ko'rsatish uchun u kamaytirilgan mahsulotlardan foydalangan to'g'ridan-to'g'ri mahsulotlar, tomonidan olingan Alfred Xorn, shuningdek, zarur shart emas edi.[D][11]

Uning keyingi tadqiqotlaridagi mavzular guruh nazariyasi, yarim guruhlar va uyg'unlik yilda universal algebra. Uning o'limidan keyin nashr etilgan yakuniy nashri "Algebralarning kofinalligi" (1986) edi.[F][12]

Shaxsiy hayot

Urush paytida Morel boshqa matematik Alan Devis bilan uchrashdi va turmushga chiqdi, ammo ularning nikohi muvaffaqiyatsiz tugadi va Devis bu lavozimda ishladi. Nevada universiteti, Renoga Morel UC Berkli-dagi o'qishiga qaytganida. Ular 1955 yilda ajrashishdi.[2]

Berkli shahrida Morel maslahatchisi bilan ish boshlagan Alfred Tarski 1950 yilda, Tarskining boshqa talaba bekasi bilan bir vaqtda, Wanda Szmielew, Polshaga qaytish uchun Berkli shahrini tark etdi. Tarski Mariya Vitkovskaga (u 1929 yilda uylangan) uylangan, ammo Morel 1955 yilda eri Alan Devis bilan ajrashganida, Tarski Mariya bilan ajrashib, uning o'rniga Morelga uylanishni taklif qilgan. Biroq, u uni rad etdi. Buning o'rniga 1957 yilda u advokat Delos Morelga uylandi. Morels va Tarskilar hech bo'lmaganda 1960 yilgacha do'stona munosabatda bo'lishganiga qaramay, Morel oxir-oqibat Tarskining boshqa ayol talabalarga nisbatan munosabatini "uning hokimiyat mavqeidan u hozir nomaqbul deb hisoblagan tarzda foydalanganligi" deb qabul qildi.[2]

Morelsning Janna (1958 yilda tug'ilgan) va Verena (1962-2002) ismli ikki qizi bor edi.[2][13] Morel 1984 yil 22-iyulda vafot etdi.[14] Uning eri Delos Vashington shtati sanoat sug'urtasi bo'yicha apellyatsiya kengashining bosh ma'muriy huquq sudyasi bo'ldi va 2008 yilda vafot etdi.[15]

Tanlangan nashrlar

A.Devis, Anne S.; Sierpinskiy, Vatslav (1952), "Sur les types d'ordre distincts dont les carrés sont égaux", Comptes Rendus de l'Académie des Sciences, 235: 850–852[7]
B.Devis, Anne S (1955), "To'liq panjaralarning tavsifi", Tinch okeanining matematika jurnali, 5 (2): 311–319, doi:10.2140 / pjm.1955.5.311[8]
SMorel, A.C .; Skott, D. S.; Tarski, Alfred (1958 yil noyabr), "Kamaytirilgan mahsulotlar va ixchamlik teoremasi" (PDF), Amerika Matematik Jamiyati to'g'risida bildirishnomalar, 5 (6): 674–675[10]
D.Chang, C. C.; Morel, Anne C. (1958), "To'g'ridan-to'g'ri mahsulot ostida yopish to'g'risida", Symbolic Logic jurnali, 23 (2): 149–154, doi:10.2307/2964395, JSTOR  2964395[11]
E.Frayne, T .; Morel, A.C .; Skott, D. S. (1962), "Kamaytirilgan to'g'ridan-to'g'ri mahsulotlar", Fundamenta Mathematicae, 51 (3): 195–228, doi:10.4064 / fm-51-3-195-228[9]
F.Guld, Metyu; Morel, Anne S.; Tsinakis, Konstantin (1986), "Algebralarning uyg'unligi", Algebra Universalis, 22 (2–3): 253–278, doi:10.1007 / BF01224031, S2CID  122071730[12]

Adabiyotlar

  1. ^ a b Vashington universiteti magistratura maktabi byulleteni (PDF), 1963-1965, p. 238
  2. ^ a b v d e f g h men Feferman, Anita Burdman; Feferman, Sulaymon (2004), Alfred Tarski: hayot va mantiq, Kembrij: Kembrij universiteti matbuoti, 197–201-betlar, ISBN  0-521-80240-7, JANOB  2095748
  3. ^ Anne C. Devis Morel da Matematikaning nasabnomasi loyihasi
  4. ^ Ro'yxatdan o'tish, Kaliforniya universiteti, Berkli, 1957, p. 192, Anne C. Morel, t.f.n., matematika kafedrasi assistenti
  5. ^ "Anne C. Morel", O'tgan a'zolar, Kengaytirilgan o'rganish instituti, olingan 2019-10-05
  6. ^ Koblitz, Enn Xibner (1986 yil mart), "Ishga qabul qilishning mantiqiy joyi - matematika bo'limi", muharrirga xatlar, Sietl Tayms. Qayta ishlab chiqarilganidek Leggett, Anne (1986 yil iyul - avgust), "Muharrirning xati", Matematika bo'yicha ayollar assotsiatsiyasining yangiliklari, 16 (4): 4–5
  7. ^ a b "Sur les types d'ordre distincts dont les carrés sont égaux" sharhlari:
  8. ^ a b "To'liq panjaralarning tavsifi" sharhlari:
  9. ^ a b "To'g'ridan-to'g'ri qisqartirilgan mahsulotlar" sharhlari:
  10. ^ a b Bell, J. L .; Slomson, A. B. (1969), Modellar va ultraproduktlar: kirish, Amsterdam, London: North-Holland nashriyoti, p. 106, ISBN  9780486449791, JANOB  0269486
  11. ^ a b "To'g'ridan-to'g'ri mahsulot ostida yopish to'g'risida" sharhlar:
  12. ^ a b "Algebralarning aniqligi" haqidagi sharhlar:
  13. ^ "Verena Morel", Sietl Tayms, 2002 yil 28 sentyabr - Legacy.com orqali
  14. ^ "O'limlar" (PDF), Amerika Matematik Jamiyati to'g'risida bildirishnomalar, 31 (7): 806, 1984 yil noyabr
  15. ^ "Delos Morel", Sietl Tayms, 2008 yil 23-iyul - Legacy.com orqali