Le prix Karp est une distinction mathématique décernée par l'Association for Symbolic Logic aux États-Unis tous les cinq ans depuis 1978. Il a été créé pour honorer l'ensemble du travail de Carol Karp (1926–1972), professeure de logique à l'université du Maryland et porte son nom.