Martin Davis
Martin Davis | |||
---|---|---|---|
![]() | |||
Født | Martin David Davis 8. mars 1928 ![]() New York (USA) | ||
Død | 1. jan. 2023[1]![]() 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] | ||
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]
Kilder
- Jackson, Allyn (September 2007), «Interview with Martin Davis», Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55 (5): 560–571, 2008, ISSN 0002-9920, OCLC 1480366, http://www.ams.org/notices/200805/tx080500560p.pdf