Carol Karp
personne
mathématicienne américaine
Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove (Jamestown Charter Township (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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Carol_Karp
Lien Wikidata : https://www.wikidata.org/wiki/Q545558
Propriétés
- date_deces
- +1972-08-2
- date_naissance
- +1926-08-1
- genre_personne
- féminin
- lieu_deces
- {"qid": "Q107126", "label": "comté d'Arlington"}
- lieu_naissance
- {"qid": "Q1166", "label": "Michigan"}
- nationalite
- États-Unis
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne