## 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: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia