Martin Davis

Pour les articles homonymes, voir Davis.

Martin Davis

Martin Davis.

Biographie

Naissance	8 mars 1928 New York (États-Unis)
Décès	1er janvier 2023 (à 94 ans) Berkeley (Californie, États-Unis)
Sépulture	Cypress Lawn Memorial Park (en)
Nom de naissance	Martin David Davis
Nationalité	américaine
Formation	Bronx High School of Science (1940-1944) City College of New York (1944-1948) Université de Princeton (doctorat) (1948-1950)
Activités	Mathématicien, professeur d'université, informaticien

Autres informations

A travaillé pour	Université de New York (1965-1996) Université Yeshiva (1960-1965) Université de New York (1959-1960) Institut polytechnique Rensselaer (1956-1959) Université d'État de l'Ohio (1955-1956) Université de Californie à Davis (1954-1955) Institute for Advanced Study (1952-1954) Université de l'Illinois à Urbana-Champaign (1950-1952)
Membre de	American Mathematical Society (2012) Académie américaine des arts et des sciences
Directeur de thèse	Alonzo Church
Site web	(en) www.cs.nyu.edu/cs/faculty/davism
Distinctions	Liste détaillée Prix Chauvenet (1975) Prix Leroy P. Steele (1975) Prix Halmos-Ford (1982) Bourse Guggenheim (1983) Prix Herbrand (2005) Membre honoraire de l'American Mathematical Society (2013)

Œuvres principales

Algorithme de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958 (d), Algorithme DPLL

modifier - modifier le code - modifier Wikidata

Martin Davis, né le 8 mars 1928 à New York et mort le 1^er janvier 2023 à Berkeley^[1], est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert^{[ref 1]}.

Erreur de référence : Des balises <ref> existent pour un groupe nommé « ref », mais aucune balise <references group="ref"/> correspondante n’a été trouvée