Carol Karp - Carol Karp

Carol Ruth Vander Velde olarak doğan Carol Karp (10 Ağustos 1926 , Michigan , Ottawa İlçesi, Forest Grove'da - 20 Ağustos 1972, Maryland'de ), Hollanda kökenli Amerikalı bir matematikçiydi ve en iyi sonsuz mantık konusundaki çalışmaları ile tanınır . Ayrıca tamamı kadınlardan oluşan bir orkestrada viyola çaldı.

Hayat

Michigan'da bir çiftçilik malzemesi mağazası müdürü ve bir ev hanımının çocuğu olarak dünyaya gelen Carol ve kardeşleri, Ohio'daki liseden mezun oldu . Bundan sonra , Indiana'daki Manchester Üniversitesi'nden mezun oldu ve Michigan Eyalet Üniversitesi'nde (daha sonra Michigan Eyalet Koleji olarak anılır) okumak için Michigan'a gitti ve burada 1950'de yüksek lisans derecesi kazandı.

1951'de Arthur Karp ile evlendi ve soyadını aldı. ABD Donanması'nda çalışan eşiyle California ve Japonya'ya seyahat ederken matematik alanında yüksek lisans eğitimine devam etti. Doktora eğitimini tamamladı. 1959'da Güney Kaliforniya Üniversitesi'nde Leon Henkin'in gözetiminde . Doktora tezinde, içinde resmi dil teorisi ve infinitary mantık idi Sonsuz Uzunluğu İfadelerin ile Dilleri ; daha sonra aynı adla kitap olarak yayımladı (North-Holland Publishing, 1964).

Karp, doktorasını tamamlamadan önce, 1958'de Maryland Üniversitesi, College Park'ta fakülte pozisyonunu almıştı , burada sadece yedi yıl sonra profesörlüğe yükseldi ve "gelişmekte olan sonsuz mantık teorisinde lider" oldu. 1969'da meme kanseri teşhisi kondu ancak üç yıl sonra ölümüne kadar aktif kaldı.

Eski

Karp Ödülü ait Sembolik Mantık Derneği onun onuruna adlandırılmıştır. Nakit para ödülü 1973'te oluşturuldu ve her beş yılda bir "bağlantılı bir araştırma grubu" için verildi ve bunların çoğu bir önceki ödülün verildiği tarihten bu yana tamamlandı.

Referanslar