Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Carol Ruth Karp

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

10 Aug 1926

Forest Grove, Ottawa County, Michigan, USA

20 Aug 1972

Maryland, USA

Présentation
ATTENTION - traduction automatique de la version anglaise

Carol Karp est né Carol van der Velde. Elle a assisté à Manchester College dans l'Indiana obtenu son BA à partir de là, en 1948. Her Master's Degree a été obtenue deux ans plus tard, de la Michigan State University et est par la suite, elle a passé l'été à titre d'instructeur à la Michigan State University, et puis pour une fois rendu dans les États-Unis comme un violoniste dans un orchestre-femme. Elle a ensuite poursuivi ses études à l'Université de Californie du Sud, travaillant pour un doctorat.

Sa thèse de doctorat sur la logique mathématique. La thèse, des langues des expressions de longueur infinie, a été supervisé par L Henkin et présenté à l'Université de Californie du Sud en 1959. Toutefois Karp a enseigné plusieurs années avant que la sentence de son doctorat après avoir accepté un poste comme instructeur au Nouveau-Mexique Collège de l'agriculture et des arts de mécanicien en 1953. En 1960, le nom du Nouveau-Mexique Collège de l'Agriculture et des Arts mécanicien a été remplacé par son nom actuel de New Mexico State University. Karp passé une année au Collège à Las Cruces, Nouveau-Mexique.

Sa thèse avait déménagé à Berkeley en 1953 et Karp a été nommé un adjoint d'enseignement de 1954 à 1956 alors qu'elle a travaillé sur sa thèse de doctorat. Karp avait épousé Arthur L Karp en 1952 et, en 1957, elle s'installe au Japon avec son mari qui était dans l'US Navy. A son retour du Japon, Karp a accepté un poste d'instructeur à l'Université du Maryland.

Peu de temps après l'attribution de son doctorat Karp a été promu, en 1960, de professeur adjoint à l'Université du Maryland. Elle devait rester à l'Université du Maryland jusqu'à sa mort précoce d'un cancer en 1972 mais elle a été promue à nouveau, d'associer professeur en 1963, puis professeur à plein en 1966.

Karp est un logicien mathématique mais, comme l'a noté dans son travail est étroitement lié à l'algèbre:

Karp considérée elle-même à être principalement un «logicien algébrique». Son inclinaison vers l'algèbre n'a jamais été complètement oublié et elle a toujours semblé tirer les résultats de l'algèbre booléenne de ses résultats sur infinitary langues.

En 1964, elle a publié un livre sur ses travaux de recherche Langues des expressions de longueur infinie, mais elle a exprimé l'espoir d'écrire un autre travail qui prendrait ses idées beaucoup plus loin. Elle a donné des conférences sur ce travail plus tard, comme décrit dans:

Karp a donné des conférences dans le Maryland à l'automne de 1970 sur infinitary la logique et la théorie de la récursivité. Fondamentalement Karp voulait revenir à Gödel de l 'original de la preuve la théorie des définitions récursive de séries de cours, mais en utilisant des notions plus libérales de la preuve afin d'obtenir des généralisations théorie de la récursivité.

Il est à la fois comme professeur et chercheur que Karp a fait sa réputation. Elle a personnellement pris en charge pour ses élèves et très inquiets pour leur avenir au cours de sa maladie. En citant à partir de:

Pour elle, l'enseignement a toujours été plus qu'un devoir, et même pendant sa maladie, elle a enseigné toutes ses classes en plus de mener à bien toutes ses tâches administratives. Ses travaux de recherche, aussi, a été mis en avant avec son habituelle détermination ....

Judy Green, qui a été l'un des Karp étudiants en doctorat, a écrit l'article. Elle y écrit:

Karp intellectuelle normes étaient extrêmement élevés, et elle était toujours honnêtes dans leur application. Bien qu'elle ait montré presque familiale préoccupation pour ses élèves et collègues plus jeunes, elle a toujours été sincère dans l'appréciation de leurs contributions mathématiques et de promesses. En particulier, elle a conseillé de travail de doctorat que si l'on s'attend à ce que la recherche soit la partie la plus importante de sa carrière professionnelle, et elle a refusé de permettre à ses étudiants diplômés jusqu'à ce que leurs résultats se sont réunis sa propre norme élevée pour publiable.

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