About Carol Karp
Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Arlington, Virginia), was an American mathematician of Dutch ancestry best known for her work on infinitary logic. She also played viola in an all-women orchestra. She is the namesake of the Association for Symbolic Logic's Karp Prize. == Early life and education == Karp was born Carol Ruth van der Velde on 10 August 1926 in Forest Grove in Ottawa County, Michigan to a farming supply store manager and a housewife. The family moved to Ohio when she was 11, and she and her siblings graduated from high school there. She graduated from Alliance High School in 1944. Next she attended Manchester University, Indiana, earning her Bachelor of Arts degree in 1948. She then went back to Michigan to study at Michigan State University (then called Michigan State College), where she earned a Master's degree in mathematics in 1950. She then spent time as a violist in an all-women orchestra before returning to mathematics. In 1951 she married Arthur Louis Karp and took his last name.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.