Karp, Carol, 1926-1972

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. Born Carol Ruth Vander Velde on August 10, 1926 in Forrest Grove, Michigan, Karp later went on to earn degrees in mathematics from Manchester College in Indiana (B.A., 1948) and Michigan State University (M.A., 1950). After teaching for a brief period at New Mexico State University (1953-1954), she pursued her doctorate studies in mathematics at the University of Southern California under the guidance of her adviser Leon Henkin. Karp was awarded her Ph.D. in 1959 for her dissertation, "Languages with Expressions of Infinite Length," which was later published as a book of the same title in 1964. She accepted a teaching position at the University of Maryland in 1958, where she had a distinguished career leading several National Science Foundation grant projects, acting as a consulting editor for the Journal of Symbolic Logic (1968-1972), and supervising four successful doctoral students until her death in 1972.

From the guide to the Carol Karp Papers 2006-211., 1949-1987, (Archives of American Mathematics, Center for American History, The University of Texas at Austin)

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. Born Carol Ruth Vander Velde on August 10, 1926 in Forrest Grove, Michigan, Karp later went on to earn degrees in mathematics from Manchester College in Indiana (B.A., 1948) and Michigan State University (M.A., 1950).

After teaching for a brief period at New Mexico State University (1953-1954), she pursued her doctorate studies in mathematics at the University of Southern California under the guidance of her adviser Leon Henkin. Karp was awarded her Ph.D. in 1959 for her dissertation, "Languages with Expressions of Infinite Length," which was later published as a book of the same title in 1964. She accepted a teaching position at the University of Maryland in 1958, where she had a distinguished career leading several National Science Foundation grant projects, acting as a consulting editor for the Journal of Symbolic Logic (1968-1972), and supervising four successful doctoral students until her death in 1972.

From the description of Karp, Carol, papers, 1949-1987. (University of Texas Libraries). WorldCat record id: 74906995