Carol Karp
| Biografia | |
|---|---|
| Naixement | (en) Carol Ruth Vander Velde  10 agost 1926 Jamestown Charter Township (Michigan) (en)  |
| Mort | 20 agost 1972 (46 anys) comtat d'Arlington (Virgínia) |
| Causa de mort | càncer de mama |
| Formació | Universitat del Sud de Califòrnia - Philosophiæ doctor (1951–1959) Universitat Estatal de Michigan (1948–1950) Manchester College, Indiana (1945–1948) Alliance High School (1937–1944) |
| Tesi acadèmica | Languages with expressions of infinite length (1959 ) |
| Director de tesi | Leon Henkin |
| Activitat | |
| Camp de treball | Lògica infinitària |
| Ocupació | matemàtica, professora d'universitat |
| Ocupador | Universitat de Maryland (1958–1972) Universitat de Califòrnia a Berkeley (1954–1956) Universitat Estatal de Nou Mèxic (1953–1954) |
| Instrument | Viola |
| Obra | |
| Estudiant doctoral | Judy Green i Ellen Cunningham |
| Família | |
| Cònjuge | Arthur Louis Karp |
| Pares | Peter Nelson Vander Velde i Janet Lucy Keizer |
| Germans | Wallace Earl Vander Velde |
Carol Karp (Jamestown Charter Township, 10 d'agost de 1926 - comtat d'Arlington, 20 d'agost de 1972) va ser una matemàtica estatunidenca.
Vida i obra
[modifica]Filla d'un matrimoni de neerlandesos, establerts a l'est del llac Michigan, el seu pare era venedor de fertilitzants i la família es va anar traslladant per localitats de l'Oest Mitjà. Ella va fer els estudis secundaris a Alliance (Ohio), es va graduar al Manchester College de North Manchester (Indiana) i va obtenir el màster a la universitat Estatal de Michigan de Lansing (Michigan). A continuació va iniciar treballs de recerca a la universitat del Sud de Califòrnia, en la qual va obtenir el doctorat el 1959.[1]
Durant el seu període de recerca va ser professora assistent del New Mexico College of Agriculture and Mechanic Arts (actual universitat Estatal de Nou Mèxic) i es va casar amb el físic i advocat Arthur Louis Karp, qui també era oficial de la Marina dels Estats Units d'Amèrica, al qual va seguir en els seus destins a Califòrnia i al Japó. El 1958, va ser nomenada professora de la universitat de Maryland.[2] El 1969 li van diagnosticar un càncer que la va retirar de les aules el 1971 i del qual va morir l'any següent.[3]
L'any 1973, l'Association for Symbolic Logic va instaurar un premi amb el seu nom destinat a joves estudiants per promoure l'estudi de la lògica matemàtica.[4]
Karp va publicar un llibre: Languages with Expressions of Infinite Length (Llenguatges amb expressions de longitud infinita) (1964), basat en la seva tesi doctoral de 1959, i una vintena d'articles, classes i notes científiques.[5] Tot sobre el tema de la lògica infinitària. També va deixar un volum inacabat sobre teoria de la recursió generalitzada.[6]
Referències
[modifica]- ↑ Wayne, 2011, p. 565.
- ↑ López-Escobar, 1975, p. 13.
- ↑ Wayne, 2011, p. 566.
- ↑ Editors, 1973, p. 175.
- ↑ López-Escobar, 1975, p. 14-16.
- ↑ López-Escobar, 1975, p. 2-3.
Bibliografia
[modifica]- Editors «The Carol Karp Memorial Fund» (en anglès). The Journal of Symbolic Logic, Vol. 38, Num. 1, 1973, pàg. 175. DOI: 10.1017/S0022481200077744. ISSN: 0022-4812.
- López-Escobar, E.G.K.. «Introduction». A: David W. Kueker (ed.). Infinitary Logic: In Memoriam Carol Karp (en anglès). Springer, 1975. ISBN 3-540-07419-8.
- Wayne, Tiffany K. «Karp, Carol Ruth (Vander Velde)». A: American Women of Science Since 1900 (en anglès). ABC-CLIO, 2011, p. 565-566. ISBN 978-1-59884-158-9.
Enllaços externs
[modifica]- O'Connor, John J.; Robertson, Edmund F. «Carol Karp» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- Macho Stadler, Marta. «Carol Ruth Karp, matemática» (en castellà). Euskal Herriko Unibertsitatea, 2014. [Consulta: 22 juliol 2023].
- Riddle, Larry. «Carol Karp» (en anglès). Agnes Scott College, 2022. [Consulta: 22 juliol 2023].