Category:Martin Davis

**Martin Davis**
	amerikanischer Logiker
	Medium hochladen
	Wikipedia
Name in Muttersprache	Martin Davis;
Geburtsdatum	8. März 1928; New York (Vereinigte Staaten); Martin David Davis
Sterbedatum	1. Januar 2023; Berkeley (Kalifornien, Vereinigte Staaten)
Begräbnisort	Cypress Lawn Memorial Park (37°40′20.035″N 122°27′20.873″W);
Land der Staatsangehörigkeit	Vereinigte Staaten;
Besuchte Bildungseinrichtung	Princeton University (Ph.D., Mathematik, 1948–1950); Bronx High School of Science (1940–1944); City College of New York (1944–1948);
Promotionsbetreuer	Alonzo Church;
Doktorand	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);
Tätigkeit	Mathematiker; Hochschullehrer; Informatiker;
Arbeitgeber	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);
Mitglied von	American Academy of Arts and Sciences; American Mathematical Society (Fellow of the American Mathematical Society, 2012–);
Arbeitsgebiet	Zahlentheorie; Mathematik; Hilberts zehntes Problem; Berechenbarkeitstheorie;
Bedeutendes Werk	Davis-Putnam-Verfahren; Computability & unsolvability / Martin Davis. - 1958; DPLL-Algorithmus;
Auszeichnung	Herbrand-Award (2005); Leroy P. Steele Prize (1975); Lester Randolph Ford Award (1982); Guggenheim-Stipendium (1983); Fellow of the American Mathematical Society (2013); Chauvenet-Preis (1975);
	offizielle Website
Normdatei
	Q1239172; ISNI: 0000000109215209; VIAF-Kennung: 85381152; GND-Kennung: 116040866; LCAuth-Kennung: n50035603; BnF-Kennung: 12298096f; IdRef-Normdatenkennung: 031840620; NDL-Kennung: 00437365; NKČR-AUT-Kennung: xx0012596; BNE-Kennung: XX1498790; NTA-Kennung: 067955827; BIBSYS-Kennung: 90594044; NUKAT-Kennung: n98003329; KRNLK-Kennung: KAC202108961; J9U-Kennung der Israelischen Nationalbibliothek: 987007260362605171; NACSIS-CAT-Autor-ID: DA00915927, DA12112657; SBN-Autoren-Kennung: MILV123006; MGP-ID: 8018
	Reasonator; Scholia; Wikidocumentaries; PetScan; Statistik; WikiMap; Locator tool; KML-Datei; Nach diesem Motiv suchen;

<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>