Carol Karp , nacida como Carol Ruth Vander Velde (10 de agosto de 1926 en Forest Grove , condado de Ottawa, Michigan - 20 de agosto de 1972 en Maryland ), fue una matemática estadounidense de ascendencia holandesa, mejor conocida por su trabajo sobre lógica infinita . También tocó la viola en una orquesta de mujeres. [1] [2] [3]
La vida
Nacida en Michigan , hija de gerente de una tienda de suministros agrícolas y ama de casa, Carol y sus hermanos se graduaron de la escuela secundaria en Ohio . Después de eso, se graduó de la Universidad de Manchester, Indiana y regresó a Michigan para estudiar en la Universidad Estatal de Michigan (entonces llamada Michigan State College), donde obtuvo una maestría en 1950. [2] [3]
En 1951 se casó con Arthur Karp y tomó 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 ; [4] más tarde lo publicó como un libro con el mismo título (North-Holland Publishing, 1964). [5]
Incluso antes de completar su doctorado, Karp había ocupado un puesto de profesora en 1958 en la Universidad de Maryland, College Park , donde fue ascendida a profesora titular 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] En 1969 le diagnosticaron cáncer de mama, pero permaneció activa hasta su muerte tres años después. [2] [3]
Legado
El Premio Karp de la Asociación de Lógica Simbólica recibe su nombre en su honor. El premio en efectivo se estableció en 1973 y se otorga cada cinco años para un "cuerpo de investigación conectado, la mayor parte del cual se ha completado desde que se otorgó el premio anterior". [6]
Referencias
- ^ Judy Green. "Carol Karp" en Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Campbell, ed.s Nueva York: Greenwood Press (1987): 86 - 91
- ↑ a b c d O'Connor, John J .; Robertson, Edmund F. , "Carol Karp" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
- ^ a b c d e "Carol Karp", Biografías de mujeres matemáticas , Agnes Scott College
- ^ Carol Karp en el Proyecto de genealogía matemática
- ^ Engeler, E., "Revisión de lenguajes con expresiones de longitud infinita ", Revisiones matemáticas , MR 0176910
- ^ "Premios y reconocimientos de la Asociación de Lógica Simbólica" . Archivado desde el original el 28 de agosto de 2015 . Consultado el 31 de julio de 2008 .
- Este artículo incorpora material de Carol Karp en PlanetMath , que tiene la licencia Creative Commons Attribution / Share-Alike License .