Carol Karp para niños
Datos para niños 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 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, cuyo nombre de nacimiento era Carol Ruth Vander Velde, fue una destacada matemática estadounidense. Nació el 10 de agosto de 1926 en Míchigan y falleció el 20 de agosto de 1972 en Maryland. Es especialmente reconocida por sus importantes contribuciones al campo de la lógica infinita, una rama de las matemáticas que estudia sistemas lógicos con expresiones muy largas. Además de su pasión por las matemáticas, Carol también disfrutaba de la música y tocaba la viola en una orquesta.
Contenido
¿Cómo fue la educación de Carol Karp?
Carol creció en una familia donde sus padres valoraban la educación. Su padre era gerente de una tienda de suministros agrícolas y su madre se dedicaba al hogar. Ella y sus hermanos completaron sus estudios de secundaria en Ohio.
Después de graduarse, Carol continuó su formación académica. Primero, obtuvo un título en la Universidad de Mánchester en Indiana. Luego, regresó a Míchigan para estudiar en la Universidad Estatal de Míchigan, donde completó una maestría en 1950.
¿Cuándo obtuvo su doctorado?
En 1951, Carol se casó con Arthur Karp y adoptó su apellido. Mientras su esposo trabajaba para la Armada de los Estados Unidos, ella continuó sus estudios de posgrado en matemáticas, viajando a lugares como California y Japón.
En 1959, Carol Karp logró su doctorado en la Universidad del Sur de California. Su tesis, que es un trabajo de investigación muy importante, se centró en la teoría del lenguaje formal y la lógica infinita. El título de su tesis fue Languages with Expressions of Infinite Length (Lenguajes con expresiones de longitud infinita). Más tarde, este trabajo fue publicado como un libro, lo que demuestra su gran valor en el campo de las matemáticas.
¿Cuál fue la carrera profesional de Carol Karp?
Antes de terminar su doctorado, Carol Karp ya había comenzado su carrera como profesora. En 1958, aceptó un puesto en la Universidad de Maryland, en College Park. Su dedicación y talento la llevaron a ser ascendida a profesora titular después de siete años. En esta universidad, se convirtió en una figura clave en el desarrollo de la teoría de la lógica infinita.
Carol Karp fue una matemática muy activa y dedicada. Aunque le diagnosticaron una enfermedad en 1969, continuó trabajando y contribuyendo a su campo hasta su fallecimiento tres años después.
¿Qué legado dejó Carol Karp?
El impacto de Carol Karp en las matemáticas es tan significativo que un importante reconocimiento lleva su nombre. El Premio Karp, otorgado por la Asociación de Lógica Simbólica, fue establecido en 1973 en su honor. Este premio se entrega cada cinco años a un conjunto de investigaciones destacadas en lógica, reconociendo el trabajo más influyente realizado en el período.
Véase también
En inglés: Carol Karp Facts for Kids
