Carol Karp

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.

Rukuni:Haifaffun 1926
Rukuni:Mata
Rukuni:Matattun 1972
Rukuni:Manchester