Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Maryland), was an American mathematician of Dutch ancestry, best known for her work on infinitary logic. She also played viola in an all-women orchestra.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Carol Karp (en)
- كارول كارب (ar)
- Carol Karp (de)
- Carol Karp (es)
- Carol Karp (fr)
|
| rdfs:comment
| - كارول كارب (بالإنجليزية: Carol Karp) هي أستاذة جامعية ورياضياتية أمريكية، ولدت في 10 أغسطس 1926 في ميشيغان في الولايات المتحدة، وتوفيت في 20 أغسطس 1972 في ماريلند في الولايات المتحدة بسبب سرطان الثدي. (ar)
- Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Maryland), was an American mathematician of Dutch ancestry, best known for her work on infinitary logic. She also played viola in an all-women orchestra. (en)
- Carol Karp, nacida como Carol Ruth Vander Velde (Míchigan, 10 de agosto de 1926 - Maryland, 20 de agosto de 1972), fue una matemática estadounidense de ascendencia holandesa, más conocida por su trabajo sobre lógica infinita. También tocó la viola en una orquesta de mujeres. (es)
- Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
- Carol Karp (geborene Carol van der Velde, * 10. August 1926 in , Ottawa County, Michigan; † 20. August 1972 in Maryland) war eine US-amerikanische mathematische Logikerin. 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). Gleichzeitig mit ihrem Studium unterrichtete sie zuvor ab 1953 an der späteren New Mexico State University (damals New Mexico College of Agricultur (de)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| id
| |
| title
| |
| has abstract
| - كارول كارب (بالإنجليزية: Carol Karp) هي أستاذة جامعية ورياضياتية أمريكية، ولدت في 10 أغسطس 1926 في ميشيغان في الولايات المتحدة، وتوفيت في 20 أغسطس 1972 في ماريلند في الولايات المتحدة بسبب سرطان الثدي. (ar)
- Carol Karp (geborene Carol van der Velde, * 10. August 1926 in , Ottawa County, Michigan; † 20. August 1972 in Maryland) war eine US-amerikanische mathematische Logikerin. 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). 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. Als Logikerin beschäftigte sie sich mit der Logik unendlicher langer Sätze, Rekursionstheorie und Anwendungen der Logik in der Algebra. Nach ihr ist der 1973 gestiftete Karp-Preis der Association for Symbolic Logic benannt, einer der wichtigsten Logik-Preise. (de)
- Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Maryland), was an American mathematician of Dutch ancestry, best known for her work on infinitary logic. She also played viola in an all-women orchestra. (en)
- Carol Karp, nacida como Carol Ruth Vander Velde (Míchigan, 10 de agosto de 1926 - Maryland, 20 de agosto de 1972), fue una matemática estadounidense de ascendencia holandesa, más conocida por su trabajo sobre lógica infinita. También tocó la viola en una orquesta de mujeres. (es)
- Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
|
| gold:hypernym
| |
| schema:sameAs
| |
| prov:wasDerivedFrom
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)