Carol Karp

Carol Karp ( born Carol van der Velde, born August 10, 1926 in Forest Grove, Ottawa County, Michigan; † August 20, 1972 in Maryland ) was an American mathematical logician.

Karp studied at Manchester college in Indiana ( BA 1948) and at Michigan State University, where she made ​​in 1950 a master's degree in mathematics. After that, she was instructor at Michigan State and also traveled for some time in a women's orchestra as a violinist before she began doctoral studies at the University of Southern California. In 1959, she earned a doctorate there in Leon Henkin in mathematical logic ( Languages ​​with expressions of infinite length). Along with her ​​studies, she taught previously from 1953 to the later New Mexico State University (then New Mexico College of Agriculture and Mechanic Arts) and at the College in Las Cruces, New Mexico, from 1954 as assistant to Henkin, Berkeley. In 1957 she went with her husband Arthur Karp, whom she married in 1952 and who was with the U.S. Navy, Japan. After that, she was at the University of Maryland, from 1960 as an assistant professor, in 1963 as an associate professor and from 1966 as a professor. In 1972, she died of breast cancer, which she was diagnosed with in 1969.

As a logician they dealt with the logic of infinite long sentences ( infinitary logic), recursion theory and applications of logic in algebra.

According to her, in 1973, donated Karp Prize of the Association for Symbolic Logic is named, one of the main logic prices.

Writings

• Languages ​​with expressions of infinite length, North Holland 1964