https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Carol_KarpCarol Karp - Versionsgeschichte2026-06-06T21:07:49ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Carol_Karp&diff=1806820&oldid=previmported>John Red: Einzelnachweis ergänzt2025-04-29T09:18:31Z<p>Einzelnachweis ergänzt</p>
<p><b>Neue Seite</b></p><div>'''Carol Karp''' (geborene Carol van der Velde, * [[10. August]] [[1926]] in [[Forest Grove (Michigan)|Forest Grove]], Ottawa County, [[Michigan]]; † [[20. August]] [[1972]] in [[Maryland]]) war eine [[Vereinigte Staaten|US-amerikanische]] mathematische Logikerin.<br />
<br />
== Leben ==<br />
Karp studierte am Manchester College in [[Indiana]] (Bachelor-Abschluss 1948) und an der [[Michigan State University]], wo sie 1950 ihren Master-Abschluss in Mathematik machte. Danach war sie Instructor an der Michigan State und reiste auch einige Zeit in einem Frauen-Orchester als Geigerin, bevor sie ein Promotionsstudium an der [[University of Southern California]] begann. 1959 promovierte sie dort bei [[Leon Henkin]] in mathematischer Logik (''Languages with expressions of infinite length'').<ref>{{MathGenealogyProject|9015|name=Carol Ruth Karp|Kommentar=abgerufen am 29. April 2025.}}</ref> Gleichzeitig mit ihrem Studium unterrichtete sie zuvor ab 1953 an der späteren New Mexico State University (damals New Mexico College of Agriculture and Mechanic Arts) und am College in [[Las Cruces]] in [[New Mexico]], ab 1954 als Assistentin von Henkin in Berkeley. 1957 ging sie mit ihrem Mann Arthur Karp, den sie 1952 heiratete und der bei der US-Marine war, nach [[Japan]]. Danach war sie an der [[University of Maryland]], ab 1960 als Assistant Professor, ab 1963 als Associate Professor und ab 1966 als Professor. 1972 starb sie an Brustkrebs, der bei ihr 1969 diagnostiziert wurde.<br />
<br />
Als Logikerin beschäftigte sie sich mit der Logik unendlicher langer Sätze ([[Infinitäre Logik]]), [[Rekursionstheorie]] und Anwendungen der Logik in der Algebra.<br />
<br />
Nach ihr ist der 1973 gestiftete [[Karp-Preis]] der [[Association for Symbolic Logic]] benannt, einer der wichtigsten Logik-Preise.<br />
<br />
== Schriften ==<br />
* ''Languages with expressions of infinite length.'' North Holland, Amsterdam 1964.<br />
<br />
== Literatur ==<br />
* Louise S. Grinstein, Paul J. Campbell (Hrsg.): ''Women of Mathematics. A Bio-Bibliographic Sourcebook.'' Greenwood Press, New York NY u. a. 1987, ISBN 0-313-24849-4.<br />
<br />
== Weblinks ==<br />
* {{MacTutor|id=Karp|title=Carol Ruth Karp}}<br />
* [https://zbmath.org/authors/karp.carol-r Carol Ruth Karp] in der Datenbank [[zbMATH]]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=118560301|LCCN=no94028336|VIAF=52481445}}<br />
<br />
{{SORTIERUNG:Karp, Carol}}<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Hochschullehrer (University of Maryland, Baltimore County)]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1926]]<br />
[[Kategorie:Gestorben 1972]]<br />
[[Kategorie:Frau]]<br />
<br />
{{Personendaten<br />
|NAME=Karp, Carol<br />
|ALTERNATIVNAMEN=Carol van der Velde<br />
|KURZBESCHREIBUNG=US-amerikanische Logikerin<br />
|GEBURTSDATUM=10. August 1926<br />
|GEBURTSORT=[[Forest Grove (Michigan)|Forest Grove]], [[Michigan]]<br />
|STERBEDATUM=20. August 1972<br />
|STERBEORT=[[Maryland]]<br />
}}</div>imported>John Red