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, mathematical structure, structure, space, Mathematica ...
. 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 the ...
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 explores the relationships between these classifications. A computational problem ...
, 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, United States. Its campus is in the Near West Side community area, adjacent to the Chicago Loop. The second campus established under the Universi ...
, 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 ( , , , then ) is a city in northeast France located at the confluence of the Moselle (river), Moselle and the Seille (Moselle), Seille rivers. Metz is the Prefectures in France, prefecture of the Moselle (department), Moselle Departments ...
, 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 (), formally named National Socialism (NS; , ), is the far-right politics, far-right Totalitarianism, totalitarian socio-political ideology and practices associated with Adolf Hitler and the Nazi Party (NSDAP) in Germany. During H ...
s, moving to Switzerland in 1944 and then moving again to
New York City New York, often called New York City (NYC), is the most populous city in the United States, located at the southern tip of New York State on one of the world's largest natural harbors. The city comprises five boroughs, each coextensive w ...
, 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 Swarthmore College ( , ) is a Private college, private Liberal arts colleges in the United States, liberal arts college in Swarthmore, Pennsylvania, United States. Founded in 1864, with its first classes held in 1869, Swarthmore is one of the e ...
. 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 university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson W ...
, where her husband was studying and when he transferred to
Oberlin College Oberlin College is a Private university, private Liberal arts colleges in the United States, liberal arts college and conservatory of music in Oberlin, Ohio, United States. Founded in 1833, it is the oldest Mixed-sex education, coeducational lib ...
, 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, Transportat ...
in
Buffalo, New York Buffalo is a Administrative divisions of New York (state), city in the U.S. state of New York (state), New York and county seat of Erie County, New York, Erie County. It lies in Western New York at the eastern end of Lake Erie, at the head of ...
. When her husband relocated to Boston, she followed him there and worked at
Mount Holyoke College Mount Holyoke College is a Private college, private Women's colleges in the United States, women's Liberal arts colleges in the United States, liberal arts college in South Hadley, Massachusetts, United States. It is the oldest member of the h ...
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 U.S. National Science Foundation (NSF) is an Independent agencies of the United States government#Examples of independent agencies, independent agency of the Federal government of the United States, United States federal government that su ...
Fellowship and conducted research at
MIT The Massachusetts Institute of Technology (MIT) is a private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of modern technology and sc ...
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 (UIUC, U of I, Illinois, or University of Illinois) is a public university, public land-grant university, land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United ...
. 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 the ...
s and introduced the concept of the "weak jump," a generalization of the
Halting problem In computability theory (computer science), 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 for ...
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 ...
. 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 explores the relationships between these classifications. A computational problem ...
. 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 The Fulbright Program, including the Fulbright–Hays Program, is one of several United States cultural exchange programs with the goal of improving intercultural relations, cultural diplomacy, and intercultural competence between the people ...
, 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 Curt John Ducasse. The current president of the ASL ...
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 planned in 1990 and first issued in 1991 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 fo ...
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 Computability theorists 20th-century American women mathematicians Mount Holyoke College faculty 20th-century French women mathematicians 20th-century French mathematicians