Martin Davis
Martin Davis · Technologie & ingénierie
Davis, mathématicien américain né de parents juifs immigrés de Pologne, réalisa des travaux fondateurs en théorie de la calculabilité et en logique mathématique.
1928, New York, États-Unis — 2023, Berkeley, Californie, États-Unis
États-Unis
Davis, mathématicien américain né de parents juifs immigrés de Pologne, réalisa des travaux fondateurs en théorie de la calculabilité et en logique mathématique. Il fut un contributeur central à la résolution du dixième problème de Hilbert, prouvant qu'aucun algorithme ne peut décider si une équation diophantienne quelconque possède des solutions entières (théorème Davis–Putnam–Robinson–Matiyasevitch). Son algorithme Davis–Putnam devint aussi une pierre angulaire de la démonstration automatique et des solveurs SAT modernes.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jews in Computer Science
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Davis, mathématicien américain né de parents juifs immigrés de Pologne, réalisa des travaux fondateurs en théorie de la calculabilité et en logique mathématique.
Source : Jinfo.org — Jews in Computer Science
Contributeurs similaires
Hilary Putnam
Avi Wigderson
Leslie Lamport
Richard Karp
Alfred Tarski
