Carol Karp

Carol Karp
Rayuwa
Cikakken suna	Carol Ruth Vander Velde
Haihuwa	Jamestown Charter Township (en) da Michigan, 10 ga Augusta, 1926
ƙasa	Tarayyar Amurka
Mutuwa	Arlington County (en) da Maryland, 20 ga Augusta, 1972
Yanayin mutuwa	Sababi na ainihi (ciwon nono)
Ƴan uwa
Ahali	Wallace E. Vander Velde (en)
Karatu
Makaranta	Alliance High School (en) (1937 - 1944) Manchester University (en) (1945 - 1948) Michigan State University (en) (1948 - 1950) University of Southern California (en) (1951 - 1959) Ph.D. (mul)
Thesis	'
Thesis director	Leon Henkin (en)
Dalibin daktanci	Judy Green (en) Ellen Cunningham (mul)
Harsuna	Turanci
Sana'a
Sana'a	masanin lissafi da university teacher (en)
Employers	New Mexico State University (en)  (1953 -  1954) University of California, Berkeley (mul)  (1954 -  1956) University of Maryland (en)  (1958 -  1972)
Kayan kida	viola (en)

Carol Karp, an haife ta Carol Ruth Vander Velde (10 ga watan Agustan 1926 a Forest Grove, Ottawa County, Michigan - 20 ga watan Agusta 1972 a Maryland), ta kasance masanin lissafi na Amurka na asalin Dutch, wanda aka fi sani da aikinta a kan ma'anar da ba ta da iyaka. Ta kuma buga viola a cikin ƙungiyar mawaƙa ta mata.

Rayuwa

An haife ta ne a Michigan ga manajan kantin sayar da kayan gona da kuma uwar gida, Carol da 'yan uwanta sun kammala karatu daga makarantar sakandare a Ohio. Bayan haka, ta kammala karatu daga Jami'ar Manchester, Indiana kuma ta koma Michigan don yin karatu a Jami'ar Jihar Michigan (wanda ake kira Kwalejin Jihar Michigan), inda ta sami digiri na biyu a shekarar 1950.

A shekara ta 1951 ta auri Arthur Karp kuma ta dauki sunansa na karshe. Ta ci gaba da karatun digiri na biyu a lissafi yayin da take tafiya zuwa California da Japan tare da mijinta, wanda ya yi aiki a cikin Sojojin Ruwa na Amurka. Ta kammala Ph.D. a 1959 a Jami'ar Kudancin California a karkashin kulawar Leon Henkin . Rubutun ta, a cikin ka'idar harshe na al'ada da kuma ma'anar da ba ta da iyaka, shine Harsuna tare da Magana na Tsawon Ƙarshe; daga baya ta buga shi a matsayin littafi tare da wannan taken (North-Holland Publishing, 1964).

Ko da kafin kammala digirin digirinsa, Karp ta dauki matsayin ma'aikata a 1958 a Jami'ar Maryland, College Park, inda aka inganta ta zuwa cikakken farfesa bayan shekaru bakwai kawai kuma ta zama "shugaban a cikin ka'idar ci gaba ta ƙididdigar ƙarancin ƙididdiga". A shekara ta 1969 an gano ta da ciwon nono amma ta ci gaba da aiki har zuwa mutuwarta shekaru uku bayan haka.

Kyauta

An ba da lambar yabo ta Karp na Association for Symbolic Logic don girmama ta. An kafa kyautar tsabar kudi a 1973 kuma ana ba da ita a kowace shekara biyar don "ƙungiyar bincike mai alaƙa, mafi yawansu an kammala su a lokacin da aka ba da kyautar da ta gabata".

Manazarta

.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}

• This article incorporates material from Carol Karp on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.