About Carol Karp
Carol Karp, born Carol Ruth Vander Velde, 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. 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.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.