Naissance | |
---|---|
Décès | |
Sépulture |
Cypress Lawn Memorial Park (en) |
Nom de naissance |
Martin David Davis |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions | Liste détaillée |
Algorithme de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958 (d), Algorithme DPLL |
Martin Davis, né le à New York et mort le à 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