Martin Davis

Martin Davis
Født	Martin David Davis; 8. mars 1928; New York (USA)
Død	1. jan. 2023 (94 år); Berkeley (California, USA)
Beskjeftigelse	Matematiker, universitetslærer, informatiker
Utdannet ved	Princeton University (1948–1950) (studieretning: matematikk, akademisk grad: ph.d.); The Bronx High School of Science (1940–1944); City College of New York (1944–1948)
Doktorgrads-; veileder	Alonzo Church
Nasjonalitet	USA
Gravlagt	Cypress Lawn Memorial Park
Medlem av	American Academy of Arts and Sciences; American Mathematical Society (2012–) (Fellow of the American Mathematical Society)
Utmerkelser	6 oppføringer Herbrand Award (2005); Leroy P. Steele-prisen (1975); Paul R. Halmos - Lester R. Ford Awards (1982); Guggenheim-stipendiet (1983) (arbeidsområde: informatikk); Fellow of the American Mathematical Society (2013); Chauvenet Prize (1975)
	Martin Davis på Commons

Martin David Davis (født 8. mars 1928 i New York City, død 1. januar 2023) var 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

^ «Martin David Davis»^{[Hentet fra Wikidata]}
^ ^a ^b ^c ^d ^e MacTutor History of Mathematics archive^{[Hentet fra Wikidata]}
^ www.legacy.com^{[Hentet fra Wikidata]}
^ ^a ^b www.ams.org, besøkt 24. november 2022^{[Hentet fra Wikidata]}
^ ^a ^b www.ams.org, besøkt 24. november 2022^{[Hentet fra Wikidata]}
^ www.ams.org^{[Hentet fra Wikidata]}
^ Guggenheim Fellows database, Guggenheim fellows ID martin-davis, besøkt 5. juli 2022^{[Hentet fra Wikidata]}