Carol Karp

Carol Karp née Carol Ruth Vander Velde (1926 - 1972) American mathematician of Dutch ancestry. Best known for her work on infinitary logic, she also played viola in an all-women orchestra.

Born in Michigan to a farming supply store manager and a housewife, Carol and her siblings graduated from high school in Ohio. After that, she graduated from Manchester College and went back to Michigan to study at Michigan State University (then called Michigan State College). In 1951 she married Arthur Karp and took his last name. Carol Karp earned a .D. in California while teaching in New Mexico. At the University of Maryland she helped enlarge the mathematical logic department in professors and graduate students, and obtained a National Science Foundation grant for undergraduate research. In 1969 she was diagnosed with breast cancer but remained active until her death three years later.

References

1 J. Green “Carol Karp” in Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Cambpell, ed.s New York: Greenwood Press (1987): 86 - 91

单词	CarolKarp
释义	Carol Karp Carol Karp née Carol Ruth Vander Velde (1926 - 1972) American mathematician of Dutch ancestry. Best known for her work on infinitary logic, she also played viola in an all-women orchestra. Born in Michigan to a farming supply store manager and a housewife, Carol and her siblings graduated from high school in Ohio. After that, she graduated from Manchester College and went back to Michigan to study at Michigan State University (then called Michigan State College). In 1951 she married Arthur Karp and took his last name. Carol Karp earned a .D. in California while teaching in New Mexico. At the University of Maryland she helped enlarge the mathematical logic department in professors and graduate students, and obtained a National Science Foundation grant for undergraduate research. In 1969 she was diagnosed with breast cancer but remained active until her death three years later. References 1 J. Green “Carol Karp” in Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Cambpell, ed.s New York: Greenwood Press (1987): 86 - 91
随便看	RectifiableSet rectifiable set RectificationOfAntiperiodicFunction rectification of antiperiodic function RectificationTheorem rectification theorem RecurrenceFormulaForBernoulliNumbers recurrence formula for Bernoulli numbers RecurrenceInAMarkovChain recurrence in a Markov chain RecurrenceRelation recurrence relation RecurrentPoint recurrent point RecursiveAlgorithmForFactorialFunction recursive algorithm for factorial function RecursiveFunction recursive function RecursiveFunctionIsURMcomputable recursive function is URM-computable RecursivelyAxiomatizableTheory recursively axiomatizable theory RecursivelyEnumerable recursively enumerable RecursiveSet