Martin Davis

Martin Davis.

Biographie
Naissance	8 mars 1928 New York (États-Unis)
Décès	1^er janvier 2023 (à 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 (1940-1944) City College of New York (1944-1948) Université de Princeton (doctorat) (1948-1950)
Activités	Mathématicien, professeur d'université, informaticien

Autres informations
A travaillé pour	Université de New York (1965-1996) Université Yeshiva (1960-1965) Université de New York (1959-1960) Institut polytechnique Rensselaer (1956-1959) Université d'État de l'Ohio (1955-1956) Université de Californie à Davis (1954-1955) Institute for Advanced Study (1952-1954) Université de l'Illinois à Urbana-Champaign (1950-1952)
Membre de	American Mathematical Society (2012) Académie américaine des arts et des sciences
Directeur de thèse	Alonzo Church
Site web	(en) www.cs.nyu.edu/cs/faculty/davism
Distinctions	Liste détaillée Prix Chauvenet (1975) Prix Leroy P. Steele (1975) Prix Halmos-Ford (1982) Bourse Guggenheim (1983) Prix Herbrand (2005) Membre honoraire de l'American Mathematical Society (2013)

Œuvres principales
Algorithme de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958 (d), Algorithme DPLL

Martin Davis, né le 8 mars 1928 à New York et mort le 1^er janvier 2023 à Berkeley^[1], est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert^{[ref 1]}.

Biographie modifier

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 modifier

(en) Martin Davis (dir.), The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Dover Publication, 1965
Recueil de textes

Notes et références modifier

(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, n^o 5,‎ septembre 2007, p. 560–571 (ISSN 0002-9920, OCLC 1480366, lire en ligne)

↑ ^{a b et c} p. 560
↑ p. 561

↑ (en) « Martin David Davis - View Obituary & Service Information », sur Martin David Davis Obituary (consulté le 5 janvier 2023)

Liens externes modifier

(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

[ref-2] {a b et c} p. 560

[ref2-3] . 561

[1] (en) « Martin David Davis - View Obituary & Service Information », sur Martin David Davis Obituary (consulté le 5 janvier 2023)

[1]

[ref 1]

[ref 2]