| Carol Karp | ||
|---|---|---|
| Información personal | ||
| Nombre de nacimiento | Carol Ruth Vander Velde | |
| Nacimiento |
10 de agosto de 1926 Municipio de Jamestown (Estados Unidos) | |
| Fallecimiento |
20 de agosto de 1972 (46 años) condado de Arlington (Estados Unidos) | |
| Causa de muerte | Cáncer de mama | |
| Nacionalidad | Estadounidense | |
| Educación | ||
| Educada en |
| |
| Supervisor doctoral | Leon Henkin | |
| Información profesional | ||
| Ocupación | Matemática y profesora de universidad | |
| Área | Lógica infinitaria | |
| Empleador |
| |
| Instrumento | Viola | |
Carol Karp, nacida como Carol Ruth Vander Velde (Míchigan, 10 de agosto de 1926 - Maryland, 20 de agosto de 1972), fue una matemática estadounidense de ascendencia holandesa, más conocida por su trabajo sobre lógica infinita. También tocó la viola en una orquesta de mujeres. [1][2][3]
Trayectoria
Hija de una ama de casa y de un gerente de una tienda de suministros agrícolas, Carol y sus hermanos se graduaron en un instituto en Ohio. Después se graduó en la Universidad de Mánchester, en Indiana, y regresó a Míchigan para estudiar en la Universidad Estatal de Míchigan (entonces llamada Michigan State College), donde obtuvo un master en 1950. [2][3]
En 1951, se casó con Arthur Karp y adoptó su apellido. Continuó sus estudios de posgrado en matemáticas mientras viajaba a California y Japón con su marido, que trabajaba para la Armada de los Estados Unidos. [2][3]En 1959, se doctoró en la Universidad del Sur de California bajo la supervisión del matemático Leon Henkin. Su tesis, sobre la teoría del lenguaje formal y la lógica infinita, se tituló Languages with Expressions of Infinite Length. [4]Posteriormente la publicó como libro con el mismo título (North–Holland Publishing, 1964). [5]
Antes de terminar su doctorado, Karp había aceptado un puesto de profesora en 1958 en la Universidad de Maryland, en College Park, donde fue ascendida a profesora titular después de siete años, y donde se convirtió en "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 lleva el nombre en su honor. El premio en metálico se estableció en 1973 y se concede cada cinco años por un "cuerpo de investigación conectado, la mayor parte del cual se ha completado en el tiempo transcurrido desde que se otorgó el premio anterior". [6]
Referencias
- ↑ Judy Green. "Carol Karp" in Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Campbell, ed.s New York: Greenwood Press (1987): 86 - 91
- ↑ a b c d O'Connor, John J.; Robertson, Edmund F., «Carol Karp» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Karp/.
- ↑ a b c d e "Carol Karp", Biographies of Women Mathematicians, Agnes Scott College
- ↑ Carol Karp en el Mathematics Genealogy Project.
- ↑ Engeler, E., «Review of Languages with Expressions of Infinite Length», Mathematical Reviews, MR 0176910.
- ↑ «Association of Symbolic Logic Prizes and Awards». Archivado desde el original el 28 de agosto de 2015. Consultado el 31 de julio de 2008.
| Control de autoridades |
|
|---|
Datos: Q545558