Математиците

Час линия Снимки Пари Марки Скица Търся

Carol Ruth Karp

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

10 Aug 1926

Forest Grove, Ottawa County, Michigan, USA

20 Aug 1972

Maryland, USA

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Каръл Karp е роден Каръл ван дер Velde. Тя присъства Манчестър колеж в Индиана получаването ѝ BA от там през 1948. Нейните степен "Магистър" е получена две години по-късно от Мичиганския държавен университет и след това тя прекарали лятото като инструктор в Мичиганския държавен университет, а след това за време, изминато около Съединените щати като цигуларка в едно всички жени-оркестър. Тя след това продължава следването си в Университета на Южна Калифорния, работещи за докторска степен.

Нейните докторска дисертация по математическа логика беше. Тезата, Езици, с изразяване на безкрайно дължина, бе контролирана от L Henkin и представи на Университета на Южна Калифорния през 1959. Въпреки това Karp е преподаването на няколко години, преди възлагането на нейния доктор като прие позиция като инструктор в Ню Мексико Колежа на земеделието и Механик изкуства през 1953 г.. През 1960 г. на името на Ню Мексико Колежа на земеделието и Механик изкуства е да се промени сегашното си име на Ню Мексико държавен университет. Karp прекарва една година в Колежа по-Las Cruces, Ню Мексико.

Нейната теза съветник е преместен на Бъркли през 1953 г. и Karp е назначен като асистент преподаване тук от 1954 до 1956, докато тя работи върху докторска дисертация си. Karp е женен Артур L Karp през 1952 г., а през 1957 г., е преместен на Япония със съпруга си които е бил в американския флот. При завръщането си от Япония, Karp Прием след като инструктор в Университета на Мериленд.

Скоро след възлагането на нейната докторска Karp бе превърната, през 1960 г., за помощник-професор в Университета на Мериленд. Тя е да остане в Университета на Мериленд до началото на смъртта ѝ от рак през 1972 г., но там тя е превърната отново, за доцент през 1963 г. и след това до пълното професор през 1966 г..

Karp е математически logician, но, както е отбелязано в нейната работа е тясно свързана с алгебра:

Karp считат себе си за да се главно на "алгебрични logician". Нейната склонност към алгебра никога не е била напълно забравена и тя като че ли винаги да съставят Булева algebras относно резултатите от нея резултати за infinitary езици.

През 1964 тя публикува книга за изследванията си езиците с изразяване на безкрайно дължина, но тя се надявахме да напише друга работа, която ще отнеме значително по-нататъшното ѝ идеи. Тя изнесе доклад за това по-късно работа, както е описано в:

Karp не дават лекции в Мериленд През есента на 1970 г. infinitary логика и теория на рекурсивно. Basically Karp искаше да се върне Gödel "и оригиналното доказателство-theoretic определения на recursive апарата, но разбира се да използвате по-либерален понятия на доказване, така че да се получи обобщения на рекурсивно теория.

Той е и като учител и научен работник, че Karp направи си репутация. Тя грижи лично за нея, студенти и много се притеснявах за тяхното бъдеще по време на нейното заболяване. Отново се цитира от:

С НЕЯ, преподаването винаги е бил повече от задължението, дори и по време на болестта си тя преподава всички си класове, в допълнение към нейното извършване на всички административни задачи. Нейните научни изследвания, също бе придвижен напред с нея обикновено определянето ....

Джуди зелено, които беше една от Karp на докторанти, пише в статията. В него тя пише:

Karp интелектуален стандарти са изключително високи, а тя е unfailingly честен в прилагането им. Въпреки, че тя показа почти фамилна загриженост за нея студенти и млади колеги, тя е последователно candid При одобряването на техните математически вноски и обещание. В частност, тя препоръча да работи за докторска степен, само ако се очаква да направи едно проучване най-важната част от една на професионална кариера, и тя отказва да ѝ даде възможност на студентите да преминете към техните резултати се срещна собствената си висок стандарт за publishability.

Source:School of Mathematics and Statistics University of St Andrews, Scotland