Carol Ruth Karp, matemática

Efemérides

Karp
Carol Ruth Karp. MacTutor.

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

Edición realizada por Marta Macho Stadler

Deja una respuesta

Tu dirección de correo electrónico no será publicada. .