## You are here

HomeCarol Karp

## Primary tabs

# Carol Karp

*Carol Karp* née *Carol Ruth Vander Velde* (1926 - 1972) American mathematician of Dutch ancestry. Best known for her work on infinitary logic, she also played viola in an all-women orchestra.

Born in Michigan to a farming supply store manager and a housewife, Carol and her siblings graduated from high school in Ohio. After that, she graduated from Manchester College and went back to Michigan to study at Michigan State University (then called Michigan State College). In 1951 she married Arthur Karp and took his last name. Carol Karp earned a Ph.D. in California while teaching in New Mexico. At the University of Maryland she helped enlarge the mathematical logic department in professors and graduate students, and obtained a National Science Foundation grant for undergraduate research. In 1969 she was diagnosed with breast cancer but remained active until her death three years later.

# References

- 1 J. Green “Carol Karp” in Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Cambpell, ed.s New York: Greenwood Press (1987): 86 - 91

## Mathematics Subject Classification

01A60*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Lorenz system by David Bankom

Oct 19

new correction: examples and OEIS sequences by fizzie

Oct 13

new correction: Define Galois correspondence by porton

Oct 7

new correction: Closure properties on languages: DCFL not closed under reversal by babou

new correction: DCFLs are not closed under reversal by petey

Oct 2

new correction: Many corrections by Smarandache

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag

Sep 26

new question: Latent variable by adam_reith