Martin Davis

amerikansk matematiker
Martin Davis
Martin Davis.jpg
Født1928[1][2][3]
New York
Utdannet ved Princeton University
Doktorgrads-
veileder
Alonzo Church
Beskjeftigelse Matematiker, universitetslærer, informatiker
Nasjonalitet USA
Medlem av American Mathematical Society, American Academy of Arts and Sciences
Utmerkelser Herbrand Award (2005), Fellow of the American Mathematical Society, Fellow of the American Academy of Arts and Sciences, Leroy P. Steele-prisen (1975)

Martin David Davis (født 1928 i New York City) er en amerikansk matematiker, kjent for sitt arbeid med Hilberts tiende problem. Han tok doktorgrad ved Princeton University i 1950, hvor Alonzo Church var hans veileder. Davis er professor emeritus ved New York University. Han utviklet Davis-Putnam-algoritmen sammen med Hilary Putnam, samt DPLL-algoritmene. Sammen med Ron Sigal og Elaine J. Weyuker har han forfattet Computability, Complexity, and Languages, senere utgitt som Fundamentals of Theoretical Computer Science.

ReferanserRediger

  1. ^ Biblioteca Nacional de España, 9. okt. 2017, Martin Davis, XX1498790
  2. ^ Faceted Application of Subject Terminology, 9. okt. 2017, Martin Davis, 1434449
  3. ^ SNAC, 9. okt. 2017, Martin Davis, w67h29sz

KilderRediger