Martin Davis
mathématicien américain / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Martin Davis?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Davis.
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].
Faits en bref Naissance, Décès ...
Martin Davis
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 |
Fermer