Carol Karp - Carol Karp

Carol Karp , născută Carol Ruth Vander Velde (10 august 1926 în Forest Grove , județul Ottawa, Michigan - 20 august 1972 în Maryland ), a fost o matematiciană americană cu ascendență olandeză, cunoscută mai ales pentru munca sa de logică infinitară . De asemenea, a cântat la viola într-o orchestră pentru femei.

Viaţă

Născută în Michigan, dintr-un manager de magazin de bunuri agricole și o gospodină, Carol și frații ei au absolvit liceul din Ohio . După aceea, a absolvit Universitatea Manchester, Indiana și s-a întors în Michigan pentru a studia la Michigan State University (pe atunci numită Michigan State College), unde a obținut un masterat în 1950.

În 1951 s-a căsătorit cu Arthur Karp și i-a luat numele de familie. Și-a continuat studiile postuniversitare în matematică în timp ce călătorea în California și Japonia împreună cu soțul ei, care lucra în marina SUA. Și-a finalizat doctoratul. în 1959 la Universitatea din California de Sud sub supravegherea lui Leon Henkin . Disertația ei, în teoria limbajului formal și logica infinitară , a fost Limbi cu expresii de lungime infinită ; ulterior a publicat-o ca o carte cu același titlu (North – Holland Publishing, 1964).

Chiar înainte de a-și finaliza doctoratul, Karp a ocupat o funcție de facultate în 1958 la Universitatea din Maryland, College Park , unde a fost promovată profesor titular după doar șapte ani și a devenit „lider în teoria dezvoltării logicii infinitare”. În 1969 a fost diagnosticată cu cancer de sân, dar a rămas activă până la moartea sa, trei ani mai târziu.

Moştenire

Premiul Karp al Asociației pentru Simbolice Logic este numit în onoarea ei. Premiul în bani a fost înființat în 1973 și se acordă o dată la cinci ani pentru un „corp de cercetare conectat, majoritatea fiind finalizat în timp de când a fost acordat premiul anterior”.

Referințe