Martin Davis

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
Martin Davis
Martin Davis.jpg
Født1928[1][2][3][4]Rediger på Wikidata
New YorkRediger på Wikidata
Beskjeftigelse Matematiker, universitetslærer, informatikerRediger på Wikidata
Utdannet ved Princeton UniversityRediger på Wikidata
Doktorgrads-
veileder
Alonzo ChurchRediger på Wikidata
Nasjonalitet USARediger på Wikidata
Medlem av American Mathematical Society, American Academy of Arts and SciencesRediger på Wikidata
Utmerkelser Herbrand Award (2005), Fellow of the American Mathematical Society, medlem av American Academy of Arts and Sciences Fellow, Leroy P. Steele-prisen (1975)Rediger på Wikidata

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.

Referanser[rediger | rediger kilde]

  1. ^ datos.bne.es, BNE-identifikator XX1498790, besøkt 9. oktober 2017[Hentet fra Wikidata]
  2. ^ NUKAT, NUKAT autoritetspost n98003329[Hentet fra Wikidata]
  3. ^ Catalogue of the Library of the Pontifical University of Saint Thomas Aquinas, Angelicum ID 46915[Hentet fra Wikidata]
  4. ^ Autoritats UB, University of Barcelona authority ID a1101319[Hentet fra Wikidata]

Kilder[rediger | rediger kilde]