University of Texas, Dolph Briscoe Center for American History

A Guide to the Carol Karp Papers, 1949-1987



Descriptive Summary

Creator: Karp, Carol, 1926-1972
Title: Carol Karp Papers
Dates: 1949-1987
Abstract: Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp’s work on infinite languages and recursion theory at the University of Maryland (1958-1972).
Accession No.: 2006-211
Extent: 1 ft. 3 in.
Laguage: Materials are written in English.
Repository: Dolph Briscoe Center for American History, The University of Texas at Austin

Biographical Note

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.


Scope and Contents

The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp’s work on infinite languages and recursion theory at the University of Maryland (1958-1972). The collection is arranged into four series: correspondence, research and publication materials, teaching materials, and materials collected by one of Karp’s doctoral students, Judy Green, in preparation of an article, "Carol Karp (1926-1972)," written for Women of Mathematics: A Biobibliographic Sourcebook. The arrangement of the collection by Judy Green has been largely maintained, including her titles given to individual subseries.

Forms part of the Archives of American Mathematics.


Restrictions

Access Restrictions

Unrestricted access

Use Restrictions

These papers are stored remotely at CDL. Contact reference staff for retrieval from offsite storage.


Index Terms

Subjects (Persons)
Barwise, Jon
Green, Judy
Karp, Carol, 1926-1972
Lopez-Escobar, Edgar G. K., 1937-
Scott, Dana S.
Subjects (Organizations)
Association for Symbolic Logic
Journal of Symbolic Logic
University of Maryland. Dept. of Mathematics.
Subjects
Infinitary languages
Recursion theory

Administrative Information

Preferred Citation

Carol Karp Papers, 1949-1987, Archives of American Mathematics, Dolph Briscoe Center for American History, University of Texas at Austin.


Detailed Description of the Papers

 

Correspondence:

box
2006-211/1 General:
A-K, 1961-1971
L-Q, 1961-1971
R-Z, 1963-1972
Barwise, Jon, 1966-1972
Kreisel, G., 1963-1972
Krueker, David, 1971-1972
Lopez-Escobar, Edgar G. K., 1963-1965
Scott, Dana, 1965-1971
Students:
Doctoral:
Gauntt, Robert, 1967-1969
Gregory, John, 1968-1972
Green, Judith, 1970-1972
General, 1964-1972
Reviews and refereeing for the Journal of Symbolic Logic:
Carol Karp articles, 1964-1972
Others, 1960-1965
Association of Symbolic Logic representative, 1966-1969
Faculty applications to Maryland:
1964-1967
1968-1970
1970-1972
Not logic, [related primarily to university administration], 1960-1968
Miscellaneous, [related primarily to published works], 1949-1972



 

Research and publication materials:

box
2006-211/1 National Science Foundation (NSF) grant applications:
NSF Grant G 11294, 1960
NSF Grant GP 1586, 1963-1965
NSF Grant GP 5456, 1965-1967
NSF Grant GP 6897, 1966-1968
NSF Grant GP 11263, 1968-1971
Other grants, 1965-1972
Journal articles:
Drafts, 1961-1972
Published, 1968-1972
box
2006-211/2 Reviews and abstracts, 1967
Dissertation, "Languages with Expressions of Infinite Length," 1959
Handwritten drafts:
"Infinitary Logic and Recursion Theory," undated
"Consistency Proofs in Set Theory," undated



 

Teaching materials:

box
2006-211/2 Course proposals and outlines, 1962-1970
Logic seminar, course packet, 1970
Introduction to Logic, course packet, undated



 

Judy Green:

box
2006-211/2 Correspondence, 1972-1986
Research materials:
Drafts of article, "Carol Karp (1926-1972)," undated
Karp bibliography, undated
Book reviews, 1958-1974
Reprints and journal articles, 1962-1973
Biographical outline, undated