Carol Karp - Carol Karp

Carol Karp , nascida Carol Ruth Vander Velde (10 de agosto de 1926 em Forest Grove , Condado de Ottawa, Michigan - 20 de agosto de 1972 em Maryland ), foi uma matemática americana de ascendência holandesa, mais conhecida por seu trabalho sobre lógica infinitaria . Ela também tocou viola em uma orquestra só de mulheres.

Vida

Nascida em Michigan , filha de uma gerente de loja de suprimentos agrícolas e dona de casa, Carol e seus irmãos se formaram no ensino médio em Ohio . Depois disso, ela se formou na Manchester University, Indiana, e voltou para Michigan para estudar na Michigan State University (então chamada de Michigan State College), onde fez mestrado em 1950.

Em 1951 ela se casou com Arthur Karp e adotou seu sobrenome. Ela continuou seus estudos de pós-graduação em matemática enquanto viajava para a Califórnia e o Japão com seu marido, que trabalhava na Marinha dos Estados Unidos. Ela completou seu doutorado. em 1959 na University of Southern California sob a supervisão de Leon Henkin . Sua dissertação, em teoria da linguagem formal e lógica infinitária , foi Linguagens com Expressões de Comprimento Infinito ; mais tarde, ela o publicou como um livro com o mesmo título (North – Holland Publishing, 1964).

Mesmo antes de completar seu doutorado, Karp assumiu um cargo de docente em 1958 na Universidade de Maryland, College Park , onde foi promovida a professora titular após apenas sete anos e se tornou uma "líder no desenvolvimento da teoria da lógica infinitaria". Em 1969, ela foi diagnosticada com câncer de mama, mas permaneceu ativa até sua morte, três anos depois.

Legado

O Prêmio Karp da Association for Symbolic Logic é nomeado em sua homenagem. O prêmio em dinheiro foi estabelecido em 1973 e é concedido a cada cinco anos para um "corpo conectado de pesquisas, a maioria das quais foi concluída desde que o prêmio anterior foi concedido."

Referências