Karp, Carol, 1926-1972

Variant names

Hide Profile

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

Archival Resources
Role Title Holding Repository
creatorOf Carol Karp Papers 2006-211., 1949-1987 Archives of American Mathematics, Center for American History, The University of Texas at Austin
creatorOf Karp, Carol, 1926-1972. Karp, Carol, papers, 1949-1987. University of Texas Libraries
Role Title Holding Repository
Relation Name
associatedWith Association for Symbolic Logic corporateBody
associatedWith Barwise, Jon person
associatedWith Barwise, Jon. person
associatedWith Green, Judy person
associatedWith Green, Judy. person
associatedWith Journal of Symbolic Logic corporateBody
associatedWith Lopez-Escobar, Edgar G. K., 1937- person
associatedWith Scott, Dana S. person
associatedWith University of Maryland. Dept. of Mathematics. corporateBody
Place Name Admin Code Country
Subject
Infinitary languages
Recursion theory
Occupation
Activity

Person

Birth 1926-08-10

Death 1972-08-20

Information

Permalink: http://n2t.net/ark:/99166/w6w97mc1

Ark ID: w6w97mc1

SNAC ID: 3719279