Movatterモバイル変換

[0]ホーム

Aller au contenu

Martin Davis

Modifier les liens

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voirDavis.

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 élu de l'American Mathematical Society(2013)

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

modifier -modifier le code -modifier Wikidata

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

Biographie

[modifier |modifier le code]

Les parents de Martin Davis se sont rencontrés àŁódź, enPologne. 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 leBronx, 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 estprofesseur émérite de l'université de New York. Il est co-inventeur des algorithmes deDavis-Putnam etDPLL. Il est coauteur, avec Ron Sigal etElaine Weyuker (en), de l'articleComputability, 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 lathéorie de la calculabilité. Il est aussi connu pour son modèle demachines Post-Turing (en).