Biographie Naissance Décès Sépulture
Cypress Lawn Memorial Park (en Nom de naissance
Martin David Davis
Nationalité Formation Activités
Autres informations A travaillé pour Membre de Directeur de thèse Site web Distinctions
modifier - modifier le code - modifier Wikidata
Martin Davis , né le 8 mars 1928 à New York et mort le 1er janvier 2023Berkeley [ 1] mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert [ ref 1]
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[ ref 1] 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] 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) 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)
Publications
(en) Martin Davis (dir. ), The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions , Dover Publication, 1965 Recueil de textes
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Martin Davis » (voir la liste des auteurs ) .(en) Allyn Jackson , « Interview with Martin Davis », Notices of the American Mathematical Society Providence , Rhode Island , American Mathematical Society , vol. 55, no 5, septembre 2007 , p. 560–571 (ISSN 0002-9920 OCLC 1480366 lire en ligne )
↑ a b et c p. 560
↑ p. 561
Liens externes
