Anne C. Morel - Anne C. Morel - Wikipedia
Anne C. Morel (také publikováno jako Anne C. Davis, zemřel 22. července 1984) byl americký matematik známý pro svou práci v logika, teorie objednávek, a algebra. Byla první ženskou řádnou profesorkou matematiky na VŠE University of Washington.
Vzdělání a kariéra
Morel absolvoval v roce 1941 University of California, Los Angeles.[1] Postgraduální studium matematiky zahájila v roce 1942 na VŠE University of California, Berkeley, ale studium opustila, aby sloužila v VLNY (United States Naval Women's Reserve) během druhá světová válka. V roce 1946 se vrátila ke studiu v Berkeley,[2] a dokončila doktorát v roce 1953. Její disertační práce, Studie aritmetiky typů řádů, byl pod dohledem Alfred Tarski,[3] a znepokojen ordinální aritmetika.[2]
Po dvou letech jako odborný asistent v Berkeley,[2][4] a pozice na University of California, Davis[2] a Institut pro pokročilé studium (1959–1960),[2][5] nastoupila na matematickou fakultu na University of Washington v roce 1960 a tam se stal docentem v roce 1961.[1] Nakonec se tam stala první řádnou profesorkou matematiky,[2] a po mnoho let byla jedinou univerzitní profesorkou matematiky.[6]
Výzkumné příspěvky
V rámci své diplomové práce našla v roce 1952 Morel dvě různé počitatelný řadové číslovky jehož čtverce jsou rovny. Po Wacław Sierpiński zjednodušili její konstrukci, společně ji zveřejnili.[A][7]
V roce 1955 zveřejnil Morel konverzaci k Věta Knaster – Tarski, podle kterého každý neúplná mříž má rostoucí funkci bez č pevný bod.[B][8]
Její papír z roku 1965 s Thomasem Fraynem a Dana Scott, "Omezené přímé produkty", poskytuje hlavní definice snížené produkty v teorie modelů. Byla zveřejněna poté, co již bylo objeveno několik důležitých aplikací těchto definic, a byla nazývána „klasickým referenčním dokumentem“.[E][9] Její jediná publikace se svým poradcem, Alfred Tarski, bylo krátkým oznámením souvisejícího výzkumu využívajícího omezené produkty v souvislosti s věta o kompaktnosti v matematické logice.[C] Mimo jiné poskytl důkaz o použití věty o kompaktnosti ultraprodukty.[10] S Chen Chung Chang, také použila redukované produkty, aby ukázala, že je dostatečná podmínka pro zachování vlastností pod přímé produkty, odvozeno od Alfred Horn, nebyla také nutnou podmínkou.[D][11]
Témata v jejím pozdějším výzkumu zahrnuta teorie skupin, poloskupiny, a spolufinancování v univerzální algebra. Její závěrečná publikace, která vyšla posmrtně, byla „Cofinality of algebras“ (1986).[F][12]
Osobní život
Během své válečné služby se Morel setkala a oženila se s dalším matematikem Alanem Davisem. Jejich manželství však nebylo úspěšné a Davis zaujal místo v University of Nevada, Reno zatímco se Morel vrátila ke studiu na UC Berkeley. Rozvedli se v roce 1955.[2]
V Berkeley začala Morel románek se svým poradcem Alfred Tarski v roce 1950, přibližně ve stejnou dobu jako další studentská milenka Tarského, Wanda Szmielew, opustil Berkeley, aby se vrátil do Polska. Tarski byl ženatý s Marií Witkowskou (s níž se oženil v roce 1929), ale když se Morel v roce 1955 rozvedl se svým manželem Alanem Davisem, Tarski nabídla, že se s Marií rozvede a místo toho se s ní provdá. Ona ho však odmítla. Místo toho se v roce 1957 provdala za právníka Delose Morela. Ačkoli Morelsové a Tarskisové zůstali v přátelském vztahu nejméně do roku 1960, Morel nakonec dospěl k názoru, že Tarskiho zacházení s jeho dalšími studentkami považuje za „využívání jeho mocenského postavení způsobem, který nyní považuje za nepřijatelný“.[2]
The Morels měli dvě dcery, Jeanne (nar. 1958) a Verenu (1962–2002).[2][13] Morel zemřel 22. července 1984.[14] Její manžel Delos se stal hlavním soudcem správního práva ve Washingtonské státní radě pro žádosti o průmyslové pojištění a zemřel v roce 2008.[15]
Vybrané publikace
A. | Davis, Anne C .; Sierpiński, Waclaw (1952), „Sur les types d'ordre rozlišuje dont les carrés sont égaux“, Komptuje Rendus de l'Académie des Sciences, 235: 850–852[7] |
B. | Davis, Anne C. (1955), "Charakterizace úplných svazů", Pacific Journal of Mathematics, 5 (2): 311–319, doi:10.2140 / pjm.1955.5.311[8] |
C. | Morel, A. C .; Scott, D. S.; Tarski, Alfred (Listopad 1958), „Omezené produkty a věta o kompaktnosti“ (PDF), Oznámení Americké matematické společnosti, 5 (6): 674–675[10] |
D. | Chang, C. C.; Morel, Anne C. (1958), „Při uzavření pod přímým produktem“, The Journal of Symbolic Logic, 23 (2): 149–154, doi:10.2307/2964395, JSTOR 2964395[11] |
E. | Frayne, T .; Morel, A. C .; Scott, D. S. (1962), „Reduced direct products“, Fundamenta Mathematicae, 51 (3): 195–228, doi:10,4064 / fm-51-3-195-228[9] |
F. | Gould, Matthew; Morel, Anne C .; Tsinakis, Constantine (1986), „Spolufinancování algeber“, Algebra Universalis, 22 (2–3): 253–278, doi:10.1007 / BF01224031, S2CID 122071730[12] |
Reference
- ^ A b Bulletin University of Washington Graduate School (PDF), 1963–1965, s. 238
- ^ A b C d E F G h i Feferman, Anita Burdman; Feferman, Solomon (2004), Alfred Tarski: život a logika, Cambridge: Cambridge University Press, s. 197–201, ISBN 0-521-80240-7, PAN 2095748
- ^ Anne C. Davis Morel na Matematický genealogický projekt
- ^ Registrovat, University of California, Berkeley, 1957, s. 192,
Anne C. Morel, Ph.D., odborná asistentka z matematiky
- ^ „Anne C. Morel“, Minulí členové, Ústav pro pokročilé studium, vyvoláno 2019-10-05
- ^ Koblitz, Ann Hibner (Březen 1986), „Logickým místem pro nábor je matematické oddělení“, Dopisy redaktorovi, Seattle Times. Jak je uvedeno v Leggett, Anne (Červenec – srpen 1986), „Dopis od redaktora“, Zpravodaj Sdružení pro ženy v matematice, 16 (4): 4–5
- ^ A b Recenze "Sur les types d'ordre rozlišuje dont les carrés sont égaux":
- Bagemihl, F., Matematické recenze, PAN 0050650CS1 maint: periodikum bez názvu (odkaz)
- Kurepa, G., zbMATH (francouzsky), Zbl 0047.05701CS1 maint: periodikum bez názvu (odkaz)
- ^ A b Recenze "Charakterizace úplných svazů":
- Jónsson, B., Matematické recenze, PAN 0074377CS1 maint: periodikum bez názvu (odkaz)
- Köthe, G., zbMATH (v němčině), Zbl 0064.26101CS1 maint: periodikum bez názvu (odkaz)
- ^ A b Recenze produktu "Redukované přímé produkty":
- Chang, C.-C., Matematické recenze, PAN 0142459CS1 maint: periodikum bez názvu (odkaz)
- Fuhrken, G., zbMATH (v němčině), Zbl 0108.00501CS1 maint: periodikum bez názvu (odkaz)
- Oberschelp, Arnold (Září 1966), Journal of Symbolic Logic, 31 (3): 506–507, doi:10.2307/2270485, JSTOR 2270485CS1 maint: periodikum bez názvu (odkaz)
- ^ A b Bell, J. L .; Slomson, A. B. (1969), Modely a ultraprodukty: Úvod, Amsterdam, Londýn: North-Holland Publishing, s. 106, ISBN 9780486449791, PAN 0269486
- ^ A b Recenze "Při uzavření pod přímým produktem":
- Lyndon, R. C., Matematické recenze, PAN 0104606CS1 maint: periodikum bez názvu (odkaz)
- Müller, G. H., zbMATH (v němčině), Zbl 0092.00603CS1 maint: periodikum bez názvu (odkaz)
- Keisler, H. Jerome (Červen 1962), Journal of Symbolic Logic, 27 (2): 234–235, doi:10.2307/2964143, JSTOR 2964143CS1 maint: periodikum bez názvu (odkaz)
- ^ A b Recenze "Spolufinancování algeber":
- Schein, Boris M., Matematické recenze, PAN 0870473CS1 maint: periodikum bez názvu (odkaz)
- Pierce, R. S., zbMATH, Zbl 0613.08001CS1 maint: periodikum bez názvu (odkaz)
- ^ „Verena Morel“, Seattle Times, 28. září 2002 - přes Legacy.com
- ^ "Úmrtí" (PDF), Oznámení Americké matematické společnosti, 31 (7): 806, listopad 1984
- ^ „Delos Morel“, Seattle Times, 23. července 2008 - přes Legacy.com