Carol Karp

Carol Karp , cuyo nombre de nacimiento era Carol Ruth Vander Velde (10 de agosto de 1926 en Forest Grove , condado de Ottawa, Michigan – 20 de agosto de 1972 en Arlington, Virginia ), fue una matemática estadounidense de ascendencia holandesa, conocida principalmente por su trabajo en lógica infinita . También tocaba la viola en una orquesta femenina. El Premio Karp de la Asociación de Lógica Simbólica lleva su nombre .

Karp nació como Carol Ruth van der Velde el 10 de agosto de 1926 en Forest Grove, condado de Ottawa, Michigan, hija de un gerente de una tienda de suministros agrícolas y un ama de casa. La familia se mudó a Ohio cuando ella tenía 11 años, y allí se graduó de la escuela secundaria junto con sus hermanos. Se graduó de Alliance High School en 1944. Luego asistió a la Universidad de Manchester, Indiana , donde obtuvo su licenciatura en Artes en 1948. Posteriormente regresó a Michigan para estudiar en la Universidad Estatal de Michigan (entonces llamada Michigan State College), donde obtuvo una maestría en matemáticas en 1950. Después, tocó la viola en una orquesta femenina antes de retomar sus estudios de matemáticas. ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]}

En 1951 se casó con Arthur Louis Karp y adoptó su apellido. Continuó sus estudios de posgrado en matemáticas mientras viajaba a California y Japón con su esposo, quien trabajaba en la Marina de los Estados Unidos. ^{[ 2 ] [ 3 ]} Completó su doctorado en 1959 en la Universidad del Sur de California bajo la supervisión de Leon Henkin . Su disertación, en teoría del lenguaje formal y lógica infinita , fue Lenguajes con expresiones de longitud infinita ; ^{[ 5 ]} posteriormente la publicó como libro con el mismo título (North–Holland Publishing, 1964). ^{[ 6 ]}

Incluso antes de completar su doctorado, Karp había aceptado un puesto docente en 1958 en la Universidad de Maryland, College Park , donde su esposo Arthur también impartía clases. Fue ascendida a catedrática titular en 1966, después de solo siete años, y se convirtió en una "líder en el desarrollo de la teoría de la lógica infinita". ^{[ 3 ]} Fue particularmente conocida por aplicar métodos del álgebra a la lógica, impulsando así la lógica algebraica . ^{[ 4 ]} En 1969 le diagnosticaron cáncer de mama , pero se mantuvo activa hasta su muerte tres años después, el 20 de agosto de 1972, en Arlington, Virginia . ^{[ 2 ] [ 3 ] [ 4 ]}

El Premio Karp de la Asociación de Lógica Simbólica lleva su nombre en su honor. El premio en metálico se estableció en 1973 y se otorga cada cinco años a un «conjunto de investigaciones relacionadas, la mayor parte de las cuales se haya completado desde que se otorgó el premio anterior». ^{[ 4 ]}

• Este artículo incorpora material de Carol Karp en PlanetMath , que está bajo la licencia Creative Commons Atribución/Compartir Igual .