TABLE OF CONTENTS
Descriptive Summary
Biographical Note
Scope and Contents
Restrictions
Index Terms
Administrative Information
Description of Series
Correspondence:
Research and publication materials:
Teaching materials:
Judy Green:
|
A Guide to the Carol Karp Papers, 1949-1987
| | |
|
|
| 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: | 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.
Return to the Table of 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
Return to the Table of Contents
Access Restrictions
Unrestricted access
Use Restrictions
These papers are stored remotely. Contact
reference staff for retrieval from offsite storage.
Return to the Table of Contents
| | |
|
|
| |
| |
| | Barwise, Jon |
| | Green, Judy |
| | Karp, Carol, 1926-1972 |
| | Lopez-Escobar, Edgar G. K.,
1937- |
| | Scott, Dana S. |
| | Association for Symbolic Logic |
| | Journal of Symbolic Logic |
| | University of Maryland. Dept. of
Mathematics. |
| | Infinitary languages |
| | Recursion theory |
Return to the Table of Contents
Carol Karp Papers, 1949-1987, Archives of
American Mathematics, Center for American History, The University of Texas at
Austin
Return to the Table of Contents
| | | | | | | | | | | | | |
| |
Correspondence:
|
| box |
| 1.8/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 |
Return to the Table of Contents
| | | | | | | | | | | | | |
| |
Research and publication materials:
|
| box |
| 1.8/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 |
| 1.8/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 |
Return to the Table of Contents
| | | | | | | | | | | | | |
| |
Teaching materials:
|
| box |
| 1.8/2006-211/2 | | | Course proposals and outlines,
1962-1970 |
| | | Logic seminar, course packet,
1970 |
| | | Introduction to Logic, course packet,
undated |
Return to the Table of Contents
| | | | | | | | | | | | | |
| |
Judy Green:
|
| box |
| 1.8/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 |
Return to the Table of Contents
|
