Martin Davis

Foto George M. Bergman Klíčové údaje

Narození	8. března 1928 New York ( Spojené státy )
Státní příslušnost	americký
Oblasti	informatika , algoritmika , matematika
Instituce	Newyorská univerzita
Diplom	Univerzita Princeton
Dozorce	Alonzo Church
Známý pro	Davis- Putnamův algoritmus , algoritmus DPLL

Martin Davis nebo Martin David Davis (narozen 1928 v New Yorku ) je americký matematik známý svou prací na desátém problému Hilberta . Doktorát získal na Princetonské univerzitě v roce 1950 pod vedením Alonzo Church . Je emeritním profesorem na New York University . Je spoluautorem algoritmů Davis-Putnam a DPLL . Je spoluautorem knihy Ron Sigal a Elaine Weyuker (in) , Article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science ( computability, complexity and languages, Second Edition: The Foundations of teoretical computer ), book o teorii vypočítatelnosti . On je také známý pro jeho model stroje Post-Turing (in) .

Životopis

Davis rodiče se setkali v Lodži , v Polsku . Vzali se v New Yorku , kde se znovu setkali poté, co se ztratili z dohledu. Davis vyrostl v Bronxu , poté šel s podporou rodičů do školy.

Publikace

(en) Martin Davis ( ed. ), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions , Dover Publication,1965Sbírka textů

Poznámky a odkazy

(fr) Tento článek je částečně nebo zcela převzat z článku anglické Wikipedie s názvem „ Martin Davis “ ( viz seznam autorů ) .
(en) Allyn Jackson , „ Interview with Martin Davis “ , Notices of the American Mathematical Society , Providence , Rhode Island , American Mathematical Society , vol. 55, n o 5,září 2007, str. 560–571 ( ISSN 0002-9920 , OCLC 1480366 , číst online )

p. 560
str. 561

Martin Davis

Životopis

Publikace

Poznámky a odkazy

externí odkazy