amerikansk matematiker From Wikipedia, the free encyclopedia
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.
Martin Davis | |||
---|---|---|---|
Født | Martin David Davis 8. mars 1928 New York (USA) | ||
Død | 1. jan. 2023[1] (94 år) Berkeley (California, USA) | ||
Beskjeftigelse | Matematiker, universitetslærer, informatiker | ||
Utdannet ved | Princeton University (1948–1950) (akademisk grad: ph.d., studieretning: matematikk)[2] The Bronx High School of Science (1940–1944)[2] City College of New York (1944–1948)[2] | ||
Doktorgrads- veileder | Alonzo Church | ||
Nasjonalitet | USA | ||
Gravlagt | Cypress Lawn Memorial Park[3] | ||
Medlem av | American Academy of Arts and Sciences American Mathematical Society (2012–) (Fellow of the American Mathematical Society)[4][5] | ||
Utmerkelser | 6 oppføringer
Herbrand Award (2005)
Leroy P. Steele-prisen (1975)[6][2] Paul R. Halmos - Lester R. Ford Awards (1982) Guggenheim-stipendiet (1983) (arbeidsområde: informatikk)[7] Fellow of the American Mathematical Society (2013)[4][5] Chauvenet Prize (1975)[2] | ||
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.