Category:Martin Davis

**Martin Davis**
	American mathematician (1928–2023)
	Upload media
	Wikipedia Wikiquote
Name in native language	Martin Davis;
Date of birth	8 March 1928; New York City (United States of America); Martin David Davis
Date of death	1 January 2023; Berkeley (California, United States of America)
Place of burial	Cypress Lawn Memorial Park (37°40′20.035″N 122°27′20.873″W);
Country of citizenship	United States of America;
Educated at	Princeton University (Doctor of Philosophy, mathematics, 1948–1950); The Bronx High School of Science (1940–1944); City College of New York (1944–1948);
Doctoral advisor	Alonzo Church;
Doctoral student	Moshe Koppel (1980); Donald W. Loveland (1964); Donald Perlis (1972); Robert Arnold Di Paola (1964); Edward Norman Schwartz (1974); John Denes (1970); Richard Gostanian (1971); Keith Harrow (1973); Barry Jacobs (1975); Richard Marshall Rosenberg (1976); Jean-Pierre Keller (1977); David Linfield (1983); Ronald Fechter (1991); Thomas Emerson (1995); Martin Michael Zuckerman (1967); Eric G. Wagner (1963); Alberto Policriti (1990); Ron Mark Sigal (1983); Eugenio Giovanni Omodeo (1984);
Occupation	mathematician; university teacher; computer scientist;
Employer	New York University (1959–1960); University of Illinois at Urbana–Champaign (1950–1952); Institute for Advanced Study (1952–1954); University of California, Davis (1954–1955); Ohio State University (1955–1956); Rensselaer Polytechnic Institute (1956–1959); Yeshiva University (1960–1965); New York University (1965–1996);
Member of	American Academy of Arts and Sciences; American Mathematical Society (Fellow of the American Mathematical Society, 2012–);
Field of work	number theory; mathematics; Hilbert's tenth problem; computability theory;
Notable work	Davis–Putnam algorithm; Computability & unsolvability / Martin Davis. - 1958; DPLL algorithm;
Award received	Herbrand Award (2005); Leroy P. Steele Prize (1975); Paul R. Halmos - Lester R. Ford Awards (1982); Guggenheim Fellowship (1983); Fellow of the American Mathematical Society (2013); Chauvenet Prize (1975);
	official website
Authority file
	Q1239172; ISNI: 0000000109215209; VIAF ID: 85381152; GND ID: 116040866; Library of Congress authority ID: n50035603; Bibliothèque nationale de France ID: 12298096f; IdRef ID: 031840620; NDL Authority ID: 00437365; NL CR AUT ID: xx0012596; National Library of Spain ID: XX1498790; Nationale Thesaurus voor Auteursnamen ID: 067955827; NORAF ID: 90594044; NUKAT ID: n98003329; National Library of Korea ID: KAC202108961; National Library of Israel J9U ID: 987007260362605171; NACSIS-CAT author ID: DA00915927, DA12112657; SBN author ID: MILV123006; Mathematics Genealogy Project ID: 8018
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

<nowiki>Martin Davis; Martin Davis; Martin Davis; مارتین دیویس; Martin Davis; Martin Davis; مارتین دیویس; 马丁·戴维·戴维斯; Martin Davis; Martin Davis; マーチン・デービス; Martin Davis; Мартін Девіс; 馬丁·戴維斯; 马丁·戴维斯; Martin Davis; Martin Davis; Martin Davis; মার্টিন ডেভিস; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Martin Davis; მარტინ დევისი; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Martin Davis; Мартин Дэвис; Martin Davis; Martin Davis; مارتن ديفيس; Martin Davis; مارتن ديفيس; 马丁·戴维斯; מרטין דייוויס; matemático estadounidense; (1928–2023) amerikai matematikus; matematikari estatubatuarra; matemáticu estauxunidense; matemàtic estatunidenc; amerikanischer Logiker; matamaiticeoir Meiriceánach; ریاضی‌دان آمریکایی; 美國數學家; United States of America karimba ŋun nyɛ doo; Amerikalı matematikçi (1928 – 2023); amerikansk matematiker; מתמטיקאי אמריקאי; Usana matematikisto; usona matematikisto; matematico statunitense (1928-2023); মার্কিন গণিতবিদ; mathématicien américain; Ameerika Ühendriikide matemaatik; matemático norte-americano; matematan Lamerikänik; American mathematician (1928–2023); matematyk z USA; amerikansk matematiker; Amerikaans wiskundige; matematiciste american; amerikansk matematiker; американский математик; matematikan amerikan; matemático estadounidense; عالم رياضيات أمريكي; matematician american; amerikansk matematikar; Martin David Davis; マーチン・デイヴィス; マーティン・デービス; Martin David Davis; Martin D. Davis; Martin David Davis; Дэвис Мартин; Дэвис, Мартин; Martin D. Davis; Martin David Davis; Martin David Davis; Martin D. Davis; Martin David Davis; 马丁·戴维斯; Martin David Davis</nowiki>