Martin Davis
amerikansk matematiker
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 | |||
Referanser rediger
- ^ «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]
Kilder rediger
- Jackson, Allyn (September 2007), «Interview with Martin Davis», Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55 (5): 560–571, 2008, , , http://www.ams.org/notices/200805/tx080500560p.pdf