Louise Hay (mathematician)
   HOME

TheInfoList



OR:

Louise Hay (June 14, 1935 – October 28, 1989) was a French-born American
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...
. Her work focused on
recursively enumerable set In computability theory, a set ''S'' of natural numbers is called computably enumerable (c.e.), recursively enumerable (r.e.), semidecidable, partially decidable, listable, provable or Turing-recognizable if: *There is an algorithm such that th ...
s and
computational complexity theory In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved ...
, which was influential with both Soviet and US mathematicians in the 1970s. When she was appointed head of the mathematics department at the
University of Illinois at Chicago The University of Illinois Chicago (UIC) is a public research university in Chicago, Illinois. Its campus is in the Near West Side community area, adjacent to the Chicago Loop. The second campus established under the University of Illinois ...
, she was the only woman to head a math department at a major research university in her era.


Biography

Louise Schmir was born in
Metz Metz ( , , lat, Divodurum Mediomatricorum, then ) is a city in northeast France located at the confluence of the Moselle and the Seille rivers. Metz is the prefecture of the Moselle department and the seat of the parliament of the Grand ...
, Lorraine, France, on 14 June 1935 to Marjem (née Szafran) and Samuel Szmir. Her mother died in 1938. Of Polish-Jewish heritage, the family fled the
Nazi Nazism ( ; german: Nazismus), the common name in English for National Socialism (german: Nationalsozialismus, ), is the far-right totalitarian political ideology and practices associated with Adolf Hitler and the Nazi Party (NSDAP) in ...
s, moving to Switzerland in 1944 and then moving again to
New York City New York, often called New York City or NYC, is the most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the most densely populated major city in the Un ...
, in 1946, where they Anglicized their surname to Schmir. She attended William Howard Taft High School in the Bronx and won a
Westinghouse Science Talent Search Westinghouse may refer to: Businesses Current companies *Westinghouse Electric Corporation, the company that manages the Westinghouse brand, with licensees: **Westinghouse Electric Company, providing nuclear power-related services ** Westingho ...
award during her senior year. Graduating as valedictorian of her high school, Schmir enrolled in Swarthmore College. In 1955, at the end of her junior year, she married John Hay, and then completed her BA in mathematics in 1956. She began her master's studies at
Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to tea ...
, where her husband was studying and when he transferred to Oberlin College, she followed him there. Though she completed her work on mathematical logic at Oberlin, her master's degree was awarded by Cornell in 1959. Her master's thesis was entitled "An Axiomatization of the Infinitely Many-Valued Predicate Calculus." She taught for a year at Oberlin and then worked at the
Cornell Aeronautical Laboratory Calspan Corporation is a science and technology company founded in 1943 as part of the Research Laboratory of the Curtiss-Wright Airplane Division at Buffalo, New York. Calspan consists of four primary operating units: Flight Research, Transportati ...
in
Buffalo, New York Buffalo is the second-largest city in the U.S. state of New York (behind only New York City) and the seat of Erie County. It is at the eastern end of Lake Erie, at the head of the Niagara River, and is across the Canadian border from Sou ...
. When her husband relocated to Boston, she followed him there and worked at Mount Holyoke College for three years. In 1963, after the birth of her first son, she returned to Cornell to work on her doctorate. Twin sons were born to the couple in 1964. She was awarded a PhD in 1965; her doctorate thesis was on co-simple isols and was an advance in the Dekker-Myhil-Nerode theory on recursive equivalence types. In 1966 she was awarded a
National Science Foundation The National Science Foundation (NSF) is an independent agency of the United States government that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National ...
Fellowship and conducted research at
MIT The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...
between 1966 and 1968. In 1968, Hay divorced and moved to Chicago, accepting an associate professorship at the
University of Illinois The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univer ...
. In 1970, she married fellow mathematician Richard Larson, was diagnosed with breast cancer in 1974 and in 1975 was promoted to full professor. She published prolifically throughout the 1970s on
recursively enumerable set In computability theory, a set ''S'' of natural numbers is called computably enumerable (c.e.), recursively enumerable (r.e.), semidecidable, partially decidable, listable, provable or Turing-recognizable if: *There is an algorithm such that th ...
s and introduced the concept of the "weak jump," a generalization of the
Halting problem In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. Alan Turing proved in 1936 that a ...
distinct from the usual notion of the
Turing jump In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is an operation that assigns to each decision problem a successively harder decision problem with the property that is not decidable by an oracle machine w ...
. She also proved analogues of the Rice and Rice-Shapiro theorems, as well as working on theories of
computational complexity theory In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved ...
. Her work was influential with both Soviet and US mathematicians of the period. She co-founded the
Association for Women in Mathematics The Association for Women in Mathematics (AWM) is a professional society whose mission is to encourage women and girls to study and to have active careers in the mathematical sciences, and to promote equal opportunity for and the equal treatment o ...
(AWM) in an effort to provide support to other working mothers. In 1978, she won a Fulbright Scholarship, as did her husband, and they spent the year studying in the Philippines. In 1979, Hay was named the acting head of the University of Illinois' mathematics department, becoming the only woman to head a research university's mathematics department. In 1980, she was appointed to the executive board of the AWM and remained in that post until 1987. She was also named as secretary of the
Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...
in 1982.


Death and legacy

In 1988, Hay had a relapse in her breast cancer but continued to work until her death on 28 October 1989 in Oak Park, Illinois. In 1990 the AWM established the
Louise Hay Award The Louise Hay Award is a mathematics award established in 1990 by the Association for Women in Mathematics in recognition of contributions as a math educator. The award was created in honor of Louise Hay. Recipients The following women have been ...
for Contributions to Mathematics Education to both honor Hay for her contributions to mathematical logic, her leadership and recognize a woman who had made contributions to mathematics and education.


References


Bibliography

* * *


Additional sources

* Hay, Louise. ''How I became a mathematician'', Newsletter of the Association for Women in Mathematics, 1989 (pp. 8–10). * Hughes, Rhonda. ''Fond Remembrances of Louise Hay'', Newsletter of the Association for Women in Mathematics, 1990, (pp. 4–6).


External links

* Louise Hay o
agnesscott.edu
(Biographies of Women Mathematicians) * {{DEFAULTSORT:Hay, Louise 1935 births 1989 deaths 20th-century American mathematicians University of Illinois Chicago faculty Swarthmore College alumni Cornell University alumni French people of Polish-Jewish descent Jews who emigrated to escape Nazism French emigrants to the United States French women mathematicians Computability theorists 20th-century American women mathematicians Mount Holyoke College faculty Fulbright alumni 20th-century French women mathematicians 20th-century French mathematicians