Matematici

Časová osa Fotografie Peníze Razítka Sketch Hledat

Carol Ruth Karp

Datum narození:

Místo narození:

Datum úmrtí:

Místo úmrtí:

10 Aug 1926

Forest Grove, Ottawa County, Michigan, USA

20 Aug 1972

Maryland, USA

Prezentace
POZOR - Automatický překlad z anglické verze

Carol Karp se narodil Carol van der Velde. Absolvovala Manchester College v Indianě obdrží ji BA odtud v roce 1948. Její magisterské byla získána dva roky později z Michigan State University a na základě tohoto ona strávila léta jako instruktor na Michigan State University a poté na nějakou dobu cestoval po Spojených státech jako houslista ve všem-žena orchestr. Poté pokračoval ve studiu na univerzitě v Jižní Kalifornii, pracuje na doktorátu.

Její doktorské práce bylo v matematické logice. Práce, jazyky se vyjádření nekonečné délky, byl pod dohledem L Henkinova a předložen na univerzitě v Jižní Kalifornii v roce 1959. Nicméně Karp učil několik let, než zadání ji Ph.D. s přijal místo jako instruktor v Nové Mexiko College zemědělství a Mechanik umění v roce 1953. V roce 1960 jméno Nový Mexiko College zemědělství a Mechanik umění byl změněn na jeho současný název na New Mexico State University. Karp strávil rok na Vysoké škole v Las Cruces, Nové Mexiko.

Její práce se poradce byl přesunut do Berkeley v roce 1953 a Karp byl jmenován jako asistentem zde od roku 1954 do 1956 a současně pracovala na své disertační práci. Karp byl ženatý Arthur L Karp v roce 1952 av roce 1957 se přestěhovala do Japonska se svým manželem kteří se v americké Navy. Na jejím návratu z Japonska, Karp přijal místo lektora na univerzitě v Marylandu.

Brzy po zadání svého doktorátu Karp byla podporována, v roce 1960, aby odborný asistent na univerzitě v Marylandu. Byla zůstat na univerzitě v Marylandu, dokud jí předčasné úmrtí na rakovinu v roce 1972, ale ona tam byla povýšena opět na docentem v roce 1963 a pak na plný profesor v roce 1966.

Karp byl matematický logik, ale, jak je uvedeno v její práce byla úzce souvisí s algebry:

Karp považována sama se hlavně o 'algebraické logik'. Její sklon k algebra nebyla nikdy zcela zapomenuta a ona se vždy zdálo, že k tomu výsledky týkající booleovské algebry od ní výsledky o infinitary jazyků.

V roce 1964 ji vydal knihu o své výzkumné Jazyky se vyjádření nekonečné délky, ale doufali, napište do jiného díla, která by se jí myšlenky výrazně dále. Ona později přednášel na této práci, jak je popsáno v:

Karp udělal přednášet v Marylandu na podzim roku 1970 v infinitary logika a teorie rekurze. V podstatě Karp chtěl vrátit k Gödel 's původní doklad-teoretické definice rekurzivní soupravy, ale samozřejmě za použití více liberální pojmy důkazy, aby bylo dosaženo zobecnění teorie rekurze.

Bylo to jako pedagog a vědec, který Karp z ní pověst. Ona osobně pečuje o své studenty a starost o jejich velmi futures během své nemoci. Opět cituje z:

Chcete-li ji, výuka byla vždy vyšší než daň, a to i během své nemoci jí učil jí všechny třídy kromě plnění všech jejích administrativních úkolů. Její výzkum, taky, byla impulsy s ní stanovení obvyklé ....

Judy Green, kteří byl jedním z Karp z doktorských studentů, napsal v článku. Píše v něm:

Karp duševního normy byly extrémně vysoké, a ona byla neochvějně poctivý v jejich použití. I když ona ukázala, téměř rodinný obavy o své studenty a mladší kolegy, byla důsledně candid v posuzování jejich matematické příspěvky a slib. Zejména ona informovala pracovní cesta k doktorátu pouze tehdy, pokud jeden očekává, že výzkum nejdůležitější část své profesionální kariéry, a ona odmítla umožnit studentům, aby její absolvent, dokud jejich výsledků splnit svůj vlastní vysoký standard pro publishability.

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