imported>Jpaul: /* Leben */ --~~~~ Rechtschreibung des Namens im Abschnitt Leben korrigiert.

2024-07-02T15:16:27Z

Leben: --~~~~ Rechtschreibung des Namens im Abschnitt Leben korrigiert.

Neue Seite

{{Begriffsklärungshinweis|Zum US-amerikanischer Tennisspieler siehe [[Marty Davis]].}}
[[Datei:Martin Davis.jpg|mini|Martin Davis, vor 2010]]

'''Martin Davis''' (* [[8. März]]<ref>{{Internetquelle |url=https://mathshistory.st-andrews.ac.uk/Biographies/Davis/ |titel=Martin David Davis |werk=mathshistory.st-andrews.ac.uk |datum=2011-07 |sprache=en |abruf=2023-01-05}}</ref> [[1928]] in [[New York City]]; † [[1. Januar]] [[2023]]) war ein [[Vereinigte Staaten|US-amerikanischer]] [[Logik]]er und theoretischer [[Informatik]]er.

== Leben ==
Davis wurde 1928 als Kind [[Polen|polnischer]] Immigranten in der [[Bronx]]<ref>[https://www.yiddishbookcenter.org/collections/oral-histories/interviews/woh-fi-0000943/martin-davis-2017 www.yiddishbookcenter.org].</ref> ([[New York City]]) geboren.

Er studierte zunächst [[Mathematik]] am [[City College of New York]]. Während dieser Zeit wurde seine Entwicklung
stark durch [[Emil Leon Post]] beeinflusst. 1950 promovierte er bei [[Alonzo Church]] an der [[Princeton University]]. Anschließend war er ein Jahr an der [[University of Illinois at Urbana-Champaign]] als Research Instructor tätig. Danach arbeitete er als Programmierer des 1951 fertiggestellten Rechners [[ORDVAC]] der University of Illinois. Während dieser Zeit schrieb er die erste Version seines 1958 erschienenen Buches ''Computability and Unsolvability'', das zu den Klassikern der theoretischen Informatik gehört.

Von 1952 bis 1954 war er Gast am [[Institute for Advanced Study]] in [[Princeton (New Jersey)|Princeton]]. Nach verschiedenen Tätigkeiten, unter anderem an der [[University of California, Davis]], den [[Bell Laboratories|Bell Telephone Laboratories]] und für die [[RAND Corporation]], ging er 1965 als Professor an die [[New York University]]. Ab 1969 baute er dort das Department of Computer Science auf. Nach 31-jähriger Tätigkeit an der Universität wechselte er 1996 in den Ruhestand, den er zusammen mit seiner Ehefrau Virginia in [[Berkeley (Kalifornien)|Berkeley]] verlebte.

Martin Davis starb am 1. Januar 2023.<ref>{{Internetquelle |autor=Eugenio Omodeo, Alberto Policriti, Domenico Cantone |url=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ |titel=In memoriam: Martin Davis – Association for Logic Programming |werk=Logicprogramming.org |hrsg=Association for Logic Programming |datum=2023-01-03 |sprache=en-US |abruf=2023-01-04}}</ref>

== Leistungen ==
Bekannt wurde Martin Davis vor allem durch die 1961 gemeinsam mit [[Hilary Putnam]] und [[Julia Robinson]] veröffentlichte Arbeit ''The decision problem for exponential Diophantine equations'',<ref>Annals of Mathematics (2) 74 (1961) 425 - 436</ref> welche die Grundlagen zur Lösung von [[David Hilbert]]s [[Hilberts Liste von 23 mathematischen Problemen|zehntem Problem]] durch [[Juri Wladimirowitsch Matijassewitsch|Juri Matijassewitsch]] lieferte. Bedeutend sind auch das [[Davis-Putnam-Verfahren]] und der Davis-Putnam-Logemann-Loveland-Algorithmus ([[DPLL]]).

== Ehrungen ==
Martin Davis erhielt 1974 den [[Lester Randolph Ford Award]]<ref>für [http://mathdl.maa.org/mathDL/22/?pa=content&sa=viewDocument&nodeId=2983 ''Hilberts tenth problem is unsolvable'', American Mathematical Monthly, Band 80, 1973, S. 233]</ref> und 1975 den [[Chauvenet-Preis]] der
[[Mathematical Association of America]]. Die [[American Mathematical Society]] hat ihn 1975 mit dem [[Leroy P. Steele Prize]] geehrt. 2005 wurde er mit dem [[Herbrand Award]] ausgezeichnet. 1962 hielt er einen Vortrag auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] in [[Stockholm]] (''Quantification theory as a free variable calculus''). Er war Fellow der American Mathematical Society.

== Publikationen ==
* {{Literatur
|Titel=Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
|Auflage=2
|Verlag=Academic Pr Inc
|Datum=1994
|ISBN=0-12-206382-1
|Sprache=en}}
* {{Literatur
|Titel=Solvability, Provability, Definability: The Collected Works of Emil L. Post (Contemporary Neuroscientists)
|Verlag=Birkhäuser
|Ort=Boston
|Datum=1993
|ISBN=0-8176-3579-3
|Seiten=
|Sprache=en}}
* {{Literatur
|Titel=Engines of Logic: Mathematicians & the Origin of the Computer: Mathematicians and the Origin of the Computer
|Auflage=Reprint
|Verlag=W W Norton & Co
|Datum=2001
|ISBN=0-393-32229-7
|Sprache=en}}
* {{Literatur
|Titel=Arithmetical Problems and Recursively Enumerable Predicates
|Sammelwerk=The Journal of Symbolic Logic
|Band=Vol. 18
|Nummer=No. 1
|Auflage=Reprint
|Verlag=W W Norton & Co
|Datum=1953-03
|ISBN=
|Seiten=33-41
|Sprache=en}}
* {{Literatur
|Titel=The decision problem for exponential diophantine equations
|Sammelwerk=Ann. of Math.
|Band=Vol. 2
|Nummer=No. 74
|Datum=1961
|ISBN=
|ISSN=0003-486X
|Seiten=425-436
|Sprache=en}}

== Weblinks ==
{{Commonscat}}
* [http://www.ams.org/notices/200805/tx080500560p.pdf Interview mit Martin Davis] (englisch; PDF; 32,58 MB)
* {{MathGenealogyProject|id=8018|name=Martin Davis}}
* [http://www.cs.nyu.edu/cs/review95/node7rev.html Martin Davis] an der [[New York University]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=116040866|LCCN=n50035603|VIAF=85381152}}

{{SORTIERUNG:Davis, Martin}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (New York University)]]
[[Kategorie:Chauvenet-Preisträger]]
[[Kategorie:Fellow der American Mathematical Society]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1928]]
[[Kategorie:Gestorben 2023]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Davis, Martin
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=amerikanischer Logiker
|GEBURTSDATUM=8. März 1928
|GEBURTSORT=[[New York City|New York]]
|STERBEDATUM=1. Januar 2023
|STERBEORT=
}}

Martin Davis - Versionsgeschichte

imported>Jpaul: /* Leben */ --~~~~ Rechtschreibung des Namens im Abschnitt Leben korrigiert.