Carol Karp (original) (raw)
كارول كارب (بالإنجليزية: Carol Karp) هي أستاذة جامعية ورياضياتية أمريكية، ولدت في 10 أغسطس 1926 في ميشيغان في الولايات المتحدة، وتوفيت في 20 أغسطس 1972 في ماريلند في الولايات المتحدة بسبب سرطان الثدي.
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageID | 11262047 (xsd:integer) |
| dbo:wikiPageLength | 3459 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1017659338 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Breast_cancer dbc:Manchester_University_(Indiana)_alumni dbr:University_of_Maryland,_College_Park dbr:University_of_Southern_California dbr:Viola dbr:Infinitary_logic dbc:1972_deaths dbr:Maryland dbr:Ottawa_County,_Michigan dbr:Leon_Henkin dbc:1926_births dbc:20th-century_American_mathematicians dbc:20th-century_American_women dbc:University_of_Maryland,_College_Park_faculty dbr:Formal_language_theory dbr:Jamestown_Charter_Township,_Michigan dbc:Michigan_State_University_alumni dbc:20th-century_women_mathematicians dbc:American_women_mathematicians dbr:Association_for_Symbolic_Logic dbr:Michigan dbr:Michigan_State_University dbr:Ohio dbr:Manchester_University_(Indiana) dbr:Karp_Prize |
| dbp:id | 9386 (xsd:integer) |
| dbp:title | Carol Karp (en) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:R dbt:Reflist dbt:Short_description dbt:PlanetMath_attribution |
| dct:subject | dbc:Manchester_University_(Indiana)_alumni dbc:1972_deaths dbc:1926_births dbc:20th-century_American_mathematicians dbc:20th-century_American_women dbc:University_of_Maryland,_College_Park_faculty dbc:Michigan_State_University_alumni dbc:20th-century_women_mathematicians dbc:American_women_mathematicians |
| gold:hypernym | dbr:Mathematician |
| schema:sameAs | http://viaf.org/viaf/52481445 |
| rdf:type | owl:Thing dbo:Person yago:WikicatAmericanPeople yago:WikicatManchesterUniversity(Indiana)Alumni yago:WikicatMichiganStateUniversityAlumni yago:WikicatWomen yago:WikicatWomenMathematicians yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:Female109619168 yago:Intellectual109621545 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Woman110787470 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryAmericanMathematicians |
| 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) |
| rdfs:label | Carol Karp (en) كارول كارب (ar) Carol Karp (de) Carol Karp (es) Carol Karp (fr) |
| owl:sameAs | freebase:Carol Karp http://viaf.org/viaf/52481445 http://d-nb.info/gnd/118560301 yago-res:Carol Karp https://dblp.org/pid/58/2020 wikidata:Carol Karp http://data.bibliotheken.nl/id/thes/p067566987 dbpedia-ar:Carol Karp http://arz.dbpedia.org/resource/كارول_كارب dbpedia-de:Carol Karp dbpedia-es:Carol Karp dbpedia-fr:Carol Karp dbpedia-pms:Carol Karp https://global.dbpedia.org/id/4k32C |
| prov:wasDerivedFrom | wikipedia-en:Carol_Karp?oldid=1017659338&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Carol_Karp |
| is dbo:wikiPageRedirects of | dbr:Carol_Ruth_Vander_Velde |
| is dbo:wikiPageWikiLink of | dbr:1926 dbr:Judy_Green_(mathematician) dbr:List_of_philosophers_born_in_the_20th_century dbr:Index_of_women_scientists_articles dbr:List_of_people_from_Michigan dbr:Karp_(surname) dbr:Association_for_Symbolic_Logic dbr:August_10 dbr:Manchester_University_(Indiana) dbr:List_of_women_in_mathematics dbr:Carol_Ruth_Vander_Velde |
| is dbp:doctoralAdvisor of | dbr:Judy_Green_(mathematician) |
| is foaf:primaryTopic of | wikipedia-en:Carol_Karp |