Martin Davis, né le à New York et mort le à Berkeley, est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbertp. 560.
Biographie 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. Martin Davis a grandi dans le Bronx, puis a fait des études encouragé par ses parentsp. 561.
Il a obtenu son doctorat de l'université de Princeton en 1950, sous la direction d'Alonzo Church. 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 , 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 .
Publications
Notes et références
Liens externes
Sur Davis et un de ses livres
Catégorie:Mathématicien américain du XXe siècle Catégorie:Logicien américain Catégorie:Théoricien des nombres Catégorie:Personnalité américaine de l'informatique Catégorie:Docteur de l'université de Princeton Catégorie:Docteur en mathématiques Catégorie:Professeur à l'université de New York Catégorie:Lauréat du prix Leroy P. Steele Catégorie:Membre de l'Académie américaine des arts et des sciences Catégorie:Membre de l'American Mathematical Society Catégorie:Naissance en mars 1928 Catégorie:Naissance à New York en 1928 Catégorie:Décès à 94 ans Catégorie:Décès en janvier 2023 Catégorie:Décès à Berkeley (Californie)