Martin Davis
Pour les articles homonymes, voir Davis.
Naissance | New York (États-Unis) |
---|---|
Décès | (à 94 ans) Berkeley (Californie, États-Unis) |
Sépulture | Cypress Lawn Memorial Park (en) |
Nom de naissance | Martin David Davis |
Nationalité | américaine |
Formation | Bronx High School of Science (- City College of New York (- Université de Princeton (doctorat) (- |
Activités | Mathématicien, professeur d'université, informaticien |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web | (en) www.cs.nyu.edu/cs/faculty/davism |
Distinctions | Liste détaillée |
Algorithme de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958 (d), Algorithme DPLL |
modifier - modifier le code - modifier Wikidata
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].
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]. 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).
Publications
- (en) Martin Davis (dir.), The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Dover Publication, Recueil de textes
Notes et références
- (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, , p. 560–571 (ISSN 0002-9920, OCLC 1480366, lire en ligne)
- ↑ (en) « Martin David Davis - View Obituary & Service Information », sur Martin David Davis Obituary (consulté le )
Liens externes
- (en) Site officiel
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- Japon
- CiNii
- Espagne
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Catalogne
- Norvège
- Croatie
- Tchéquie
- WorldCat
- Sur Davis et un de ses livres
- Portail des mathématiques
- Portail de la logique
- Portail des États-Unis