{{short description|American mathematician (1926–1972)}}{{Infobox academic | name = Carol Karp | birth_name = Carol Ruth van der Velde | birth_date = {{birth date|1926|8|10}} | birth_place = Forest Grove, Ottawa County, Michigan | death_date = {{death date and age|1972|8|20|1926|8|10}} | death_place = Arlington, Virginia | occupation = Mathematician | known_for = {{ubl|''Languages with Expressions of Infinite Length'' (1964)|Karp Prize}} | education = {{ubl|Manchester University (BA, 1948)|Michigan State University (MA, 1950)|University of Southern California (PhD, 1959)}} | thesis_title = Languages with Expressions of Infinite Length | thesis_year = 1959 | doctoral_advisor = Leon Henkin | discipline = Mathematician | sub_discipline = {{ubl|Mathematical logic|Formal language theory}} | workplaces = University of Maryland, College Park (1959–1972) }} '''Carol Karp''', born '''Carol Ruth Vander Velde''' (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Arlington, Virginia), was an American mathematician of Dutch ancestry best known for her work on infinitary logic. She also played viola in an all-women orchestra. She is the namesake of the Association for Symbolic Logic's Karp Prize.

==Early life and education== Karp was born Carol Ruth van der Velde on 10 August 1926 in Forest Grove in Ottawa County, Michigan to a farming supply store manager and a housewife. The family moved to Ohio when she was 11, and she and her siblings graduated from high school there. She graduated from Alliance High School in 1944. Next she attended Manchester University, Indiana, earning her Bachelor of Arts degree in 1948. She then went back to Michigan to study at Michigan State University (then called Michigan State College), where she earned a Master's degree in mathematics in 1950. She then spent time as a violist in an all-women orchestra before returning to mathematics.{{r|green|mt|asc}}{{r|asl}}

In 1951 she married Arthur Louis Karp and took his last name. She continued her graduate study in mathematics while traveling to California and Japan with her husband, who worked in the US Navy.{{r|mt|asc}} She completed her Ph.D. in 1959 at the University of Southern California under the supervision of Leon Henkin. Her dissertation, in formal language theory and infinitary logic, was ''Languages with Expressions of Infinite Length'';{{r|mg}} she later published it as a book with the same title (North–Holland Publishing, 1964).{{r|engeler}}

== Career == Even before completing her doctorate, Karp had taken a faculty position in 1958 at the University of Maryland, College Park, where her husband Arthur also taught. She was promoted to full professor in 1966 after only seven years and she became a "leader in the developing theory of infinitary logic".{{r|asc}} She was particularly known for applying methods of algebra to logic, thus advancing algebraic logic.{{r|asl}} In 1969 she was diagnosed with breast cancer but remained active until her death three years later on 20 August 1972 in Arlington, Virginia.{{r|mt|asc}}{{r|asl}}

==Legacy== The Karp Prize of the Association for Symbolic Logic is named in her honor. The cash prize was established in 1973 and is awarded every five years for a "connected body of research, most of which has been completed in the time since the previous prize was awarded."{{r|asl}}

==References== <references>

<ref name=asc>[http://www.agnesscott.edu/lriddle/women/karp.htm "Carol Karp", Biographies of Women Mathematicians], Agnes Scott College</ref>

<ref name=asl>{{cite web|url=http://www.aslonline.org/info-prizes.html|title=Association of Symbolic Logic Prizes and Awards|accessdate=2008-07-31|archive-url=https://web.archive.org/web/20150828023729/http://www.aslonline.org/info-prizes.html|archive-date=2015-08-28|url-status=dead}}</ref>

<ref name=engeler>{{citation|title=Review of ''Languages with Expressions of Infinite Length''|first=E.|last=Engeler|journal=Mathematical Reviews|mr=0176910}}</ref>

<ref name=green>Judy Green. "Carol Karp" in ''Women of Mathematics: A Bibliographic Sourcebook'' L. Grinstein, P. Campbell, ed.s New York: Greenwood Press (1987): 86 - 91</ref>

<ref name=mg>{{MathGenealogy|id=9015}}</ref>

<ref name=mt>{{MacTutor Biography|id=Karp}}</ref>

</references> * {{PlanetMath attribution|id=9386|title=Carol Karp}}

{{Authority control}}

{{DEFAULTSORT:Karp, Carol}} Category:1926 births Category:1972 deaths Category:Manchester University (Indiana) alumni Category:Michigan State University alumni Category:University of Maryland, College Park faculty Category:20th-century American mathematicians Category:20th-century American women mathematicians