Carol Karp
Pour les articles homonymes, voir Karp.
Carol Karp, née Carol Ruth Vander Velde le à Forest Grove (Jamestown Charter Township (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 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.
| Naissance | |
|---|---|
| Décès |
(à 46 ans) Maryland |
| Nom de naissance |
Carol Ruth Vander Velde |
| Nationalité | |
| Formation |
Alliance High School (en) (- Manchester University (en) (- Université d'État du Michigan (- Université de Californie du Sud (doctorat) (- |
| Activités | |
| Fratrie |
Wallace E. Vander Velde (d) |
| A travaillé pour | |
|---|---|
| Instrument | |
| Directeur de thèse |
Leon Henkin (en) |
| Distinction |
Le Carol Karp Prize porte son nom |
Biographie
modifierCarol Ruth Vander Velde est née le 10 août 1926 dans l'état du Michigan, d'un père gérant d'un magasin d'alimentation, et d'une mère au foyer. Carol et ses frères et sœurs y suivront leurs scolarités, puis sa famille déménage dans l'Ohio aux alentours de ses 11 ans[2]. Elle continue ses études secondaires au Manchester College dans l'Indiana [Note 1], où elle obtient avec mention une licence de mathématiques en 1948. En 1950, elle obtient une maîtrise en mathématiques au Michigan State College [Note 2].
En 1952[2], elle épouse Arthur Karp. Elle poursuit ses études supérieures, tout en suivant son mari et son directeur de thèse Leon Henkin (en), à travers le monde.
Elle passe deux ans à l'Université de Californie à Berkeley et une partie des années 1957 et 1958 au Japon, où son mari sert dans les United States Marine Corps. En 1958, elle accepte un poste à l'Université du Maryland.
Alfred Tarski et Henkin organisent un séminaire sur la logique infinitaire à Berkeley, à la fin de l'année 1956 ; Carol Karp présente son travail de thèse de doctorat lors de ce séminaire et les résultats y sont discutés[3]. Tarski et Henkin fondent peu après, en 1957, un département de mathématiques interdisciplinaires qu'ils nomment Group in Logic and the Methodology of Science[4],[5].
Karp obtient un doctorat de l'Université de Californie du Sud en 1959 avec une thèse intitulée Languages with expressions of infinite length (Langages avec des expressions de longueur infinie); elle enseigne à cette époque au New Mexico College of Agriculture and Mechanic Arts[Note 3] (de 1953 à 1954). Professeur pour l'État du Michigan, elle voyage pendant un certain temps avec un orchestre de femmes en tant que violoniste[1].
En 1958 elle rejoint l'Université du Maryland où elle est professeur de mathématiques de 1958 à 1960, puis professeur adjoint de 1960 à 1966, puis à nouveau professeur de mathématiques en 1966. Dana Scott et Tarski abordent les travaux de Karp à la Symposium on Foundations of Mathematics de Warsaw en septembre 1959[2].
On lui diagnostique un cancer du sein en 1969, mais elle reste active à son poste jusqu'à sa mort trois ans plus tard en 1972. Malgré son combat contre le cancer qui durera trois ans, elle enseigne jusqu'à la fin, mais ne peut achever la seconde monographie qu'elle préparait sur les langages infinitaires. Paru en 1964, son livre, tiré en grande partie de sa thèse, fut l'une des plus importantes contributions dans le domaine de la logique des langages infinitaires.
Travaux
modifierLes travaux de Karol Karp portent sur les langages infinitaires, une extension du calcul des prédicats du premier ordre, où l'on autorise les conjonctions ou disjonctions infinies, ainsi qu'éventuellement des quantifications sur une infinité de variables.
Ses travaux de recherche sur les langages infinitaires sont proches de l'algèbre et de la logique mathématique ; plus particulièrement en logique des langages infinitaires, ils abordent également la théorie des modèles dans l'étude Finite-Quantifier Equivalence[6].
Karp fut incitée par Georg Kreisel[2] à considérer la syntaxe du langage infinitaire qui ne répond pas à une cardinalité des expressions ; ceci permettra à Karp, en collaboration avec Ronald Jensen, de définir les primitive recursive set function (en)[7] et les théorèmes de complétude (1964) et d'isomorphisme partiel de Karp[8],[Note 4]. Certaines de ses recherches ont été financées par la National Science Foundation[9].
Hommages
modifierPour honorer l'ensemble de son travail, le prix Carol Karp, la plus haute distinction attribuée tous les cinq ans par l'Association for Symbolic Logic depuis 1973, porte son nom[10].
Notes et références
modifierNotes
modifier- actuelle Manchester University (Indiana) (en)
- actuelle Université d'État du Michigan
- actuelle New Mexico State University
- Théorème qu'il ne faut cependant pas confondre avec le théorème de Karp-Lipton que l'on doit à Richard Karp et Richard Lipton
Références
modifier- (en) Louise S. Grinstein et Judy Green (biographie de C.Karp), Women of mathematics : a biobibliographic sourcebook, Greenwood Press, , 292 p. (ISBN 0-313-24849-4 et 9780313248498), p. 86 - 91
- Judy Green, in (en) John R. Shook, Dictionary of Modern American Philosophers, vol. 1, Bristol, A&C Black, , 2698 p. (ISBN 1-84371-037-4 et 978-1-843-71037-0, lire en ligne), p. 1276 - 1277
- (en) Evandro Agazzi, Modern Logic — A Survey : Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications, Springer Science & Business Media, , 483 p. (ISBN 978-94-009-9056-2 et 94-009-9056-1, présentation en ligne), p. 104
- (en) María Manzano, Ildikó Sain et Enrique Alonso, The Life and Work of Leon Henkin : Essays on His Contributions, Cham/New York, Springer, , 351 p. (ISBN 978-3-319-09719-0 et 3-319-09719-9, lire en ligne), p. 10-13
- (en) « Group in Logic and the Methodology of Science », sur le site de l'Université de Berkeley (consulté le )
- (en) J.W. Addison, Leon Henkin, Alfred Tarski et Carol Karp, The Theory of Models, Elsevier, , 510 p. (ISBN 978-1-4832-7534-5 et 1-4832-7534-5, lire en ligne), p. 407 - 412
- (en) Ronald B. Jensen et Carol Karp, Axiomatic Set Theory : Primitive recursive set functions, vol. XIII, Part I, Amer. Math. Soc.,, (ISBN 978-0-8218-0245-8 et 0-821-80245-3, présentation en ligne), p. 143–176
- (en) John L. Bell, « logic infinitary - Stanford Encyclopedia of Philosophy », sur le site internet de l'Université de Stanford, Edward N. Zalta, (consulté le )
- NSF GP-34033 (en) « American Mathematical Society » (consulté le )
- « Association of Symbolic Logic Prizes and Awards » (consulté le )
Liens externes
modifier- "Carol Karp", Biographies of Women Mathematicians, Agnes Scott College
- "Carol R Karp", Languages with expressions of infinite length
- Ressources relatives à la recherche :
