La matemática Carol Ruth Karp (1926-1972) nació un 10 de agosto.
Fue especialista en lógica infinitaria. Su libro Languages with Expressions of Infinite Length fue una de sus mayores contribuciones en esta área.
El Karp Prize de la Association for Symbolic Logic se entrega en su honor desde 1973, cada cinco años.
Más información
- Carol Ruth Karp, MacTutor History of Mathematics Archive
- Carol Ruth Karp, Biographies of Women Mathematicians, Agnes Scott College
- Languages with Expressions of Infinite Length en pdf (gracias a @L_G_R_R por avisarnos)
- The Mathematics Genealogy Project
- Mary B Williams, Obituary, AWM Newsletter, Vol. 3, No. 1 (1973), 2-3
Edición realizada por Marta Macho Stadler