Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Carol Ruth Karp

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

10 Aug 1926

Forest Grove, Ottawa County, Michigan, USA

20 Aug 1972

Maryland, USA

Presentación
ATENCIÓN - traducción automática de la versión inglesa

Carol Carol Karp nació van der Velde. Asistió a Manchester College en Indiana recibir su BA de allí en 1948. Su Máster se obtuvo dos años más tarde de la Universidad Estatal de Michigan y tras esto, pasó el verano como instructor en la Universidad Estatal de Michigan y, a continuación, durante un tiempo viajó por los Estados Unidos como un violinista en una mujer-orquesta. Luego continuó sus estudios en la Universidad del Sur de California, trabajando para un doctorado.

Su tesis doctoral fue sobre la lógica matemática. La tesis, idiomas con expresiones de infinita longitud, fue supervisada por L Henkin y presentado a la University of Southern California en 1959. Sin embargo Karp estaba enseñando varios años antes de la concesión de su doctorado haber aceptado un puesto como instructor en New Mexico Colegio de Agricultura y Mecánica de Artes en 1953. En 1960 el nombre del Nuevo Mexico Colegio de Agricultura y Mecánica de arte se ha cambiado a su actual nombre de New Mexico State University. Karp pasó un año en el Colegio de Las Cruces, New Mexico.

Su tesis se había trasladado a Berkeley en 1953 y Karp fue nombrado como profesor ayudante desde 1954 a 1956, mientras trabajaba en su tesis doctoral. Karp había casado con Arthur L Karp en 1952 y, en 1957, se trasladó a Japón con su esposo que estaba en la Marina de los EE.UU.. A su regreso de Japón, Karp aceptó un puesto como instructor en la Universidad de Maryland.

Poco después de la concesión de su doctorado Karp se promovió, en 1960, a profesor asistente en la Universidad de Maryland. Ella fue a permanecer en la Universidad de Maryland hasta su temprana muerte por cáncer en 1972, pero allí fue ascendido de nuevo, a profesor asociado en 1963 y luego profesor titular en 1966.

Karp fue un lógico matemático, pero, como se señala en su trabajo está estrechamente relacionado con el álgebra:

Karp considera a sí misma a ser principalmente un "algebraica lógico». Su inclinación hacia el álgebra nunca fue completamente olvidado y ella siempre parecía señalar en relación con los resultados de su Álgebras de Boole resultados sobre infinitary idiomas.

En 1964 publicó un libro sobre su investigación con las expresiones de Idiomas longitud infinita pero ella tenía la esperanza de escribir otra obra que tenga sus ideas considerablemente. Ella habló sobre esta obra posterior, tal como se describe en:

Karp hizo dar conferencias en Maryland en el otoño de 1970, sobre infinitary la lógica y la teoría de la recursividad. Karp Básicamente quería volver a Godel 's original de la prueba teórico-definiciones recursivas de conjuntos, por supuesto, pero utilizando los conceptos más liberal de la prueba a fin de obtener generalizaciones de la teoría de recursión.

It was both as a teacher and researcher that Karp made her reputation. Ella cuida personalmente de sus alumnos y muy preocupado por su futuro durante su enfermedad. Citando de nuevo a partir de:

Para ella, la enseñanza siempre ha sido más que un deber, e incluso durante su enfermedad le enseñó todas sus clases además de llevar a cabo todas sus tareas administrativas. Su investigación también se impulsó con su habitual determinación ....

Judy Green, quien fue uno de Karp de estudiantes de doctorado, escribió el artículo. En ella escribe:

Karp intelectual de las normas eran sumamente altos, y fue infaliblemente honesto en su aplicación. Aunque casi familiar mostró preocupación por sus alumnos y colegas más jóvenes, fue franca consistente en la evaluación de sus contribuciones matemáticas y la promesa. En particular, informó que trabajan hacia un doctorado sólo si se espera que la investigación la parte más importante de su carrera profesional, y ella se negó a permitir a sus estudiantes de postgrado hasta sus resultados se reunieron en su propia calidad de publicabilidad.

Source:School of Mathematics and Statistics University of St Andrews, Scotland