Martin Davis
From Wikipedia, the free encyclopedia
| 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].
Les parents de Martin Davis se sont rencontrés à Łódź, en Pologne. Ils se sont mariés à New York, où ils se sont de nouveau rencontrés après s'être perdu de vue[ref 1]. Martin Davis a grandi dans le Bronx, puis a fait des études encouragé par ses parents[ref 2].
Il a obtenu son doctorat de l'université de Princeton en 1950, sous la direction d'Alonzo Church[ref 1]. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et Elaine Weyuker (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de machines Post-Turing (en).
