Martin Davis (matematik) - Martin Davis (mathematician)

Pro ostatní lidi jménem Martin Davis viz Martin Davis (disambiguation).
Martin Davis
Martin Davis.jpg
narozený (1928-03-08) 8. března 1928 (věk 92)
New York City
Národnostamerický
Alma materUniverzita Princeton
Známý jakoDavis – Putnamův algoritmus
Algoritmus DPLL
pracovat na Hilbertův desátý problém
OceněníCena Chauvenet (1975)
Vědecká kariéra
InstituceNewyorská univerzita
TezeK teorii rekurzivní neřešitelnosti (1950)
Doktorský poradceAlonzo Church
DoktorandiMoshe Koppel, Donald W. Loveland

Martin David Davis (narozen 8. března 1928) je americký matematik, známý svou prací na Hilbertův desátý problém.[1][2]

Životopis

Davisovi rodiče byli židovští přistěhovalci do USA z Lodž, Polsko a vzali se poté, co se znovu setkali v New York City. Davis vyrostl v Bronx, kde ho rodiče povzbuzovali k získání úplného vzdělání.[1][2]

Získal titul Ph.D. z Univerzita Princeton v roce 1950, kde byl jeho poradcem Alonzo Church.[1][2][3] On je Emeritní profesor na Newyorská univerzita.

Příspěvky

Davis je spoluvynálezcem Davis – Putnamův algoritmus a Algoritmy DPLL. On je také známý pro jeho model Post-Turingovy stroje a jeho práce na Hilbertův desátý problém vedoucí k Věta o MRDP.

Ceny a vyznamenání

V roce 1975 vyhrál Davis Cena Leroye P. Steele, Cena Chauvenet (s Reuben Hersh ) a v roce 1974 Lester R. Ford Ocenění za výkladové práce související s prací na desátém problému Hilberta.[2][4]Stal se chlapík z Americká akademie umění a věd v roce 1982,[2] a v roce 2012 byl vybrán jako jeden z inauguračních spolupracovníků Americká matematická společnost.[5]

Vybrané publikace

Knihy
  • Davis, Martin (1958). Vyčíslitelnost a neřešitelnost. New York: Dover. ISBN  0-486-61471-9.
  • Davis, Martin (1977). Aplikovaná nestandardní analýza. New York: Wiley. ISBN  9780471198970.
  • Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). Vyčíslitelnost, složitost a jazyky: základy teoretické informatiky (2. vyd.). Boston: Academic Press, Harcourt, Brace. ISBN  9780122063824.
  • Davis, Martin (2000). Logické stroje: matematici a původ počítače. New York: Norton. ISBN  9780393322293.
Články
  • Davis, Martin (1973), „Hilbertův desátý problém je neřešitelný“, Americký matematický měsíčník, 80(3), 233–269.
  • Davis, Martin (1995), „Is matematic insight algorithmic“, Behaviorální a mozkové vědy, 13(4), 659–60.

Viz také

Reference

  1. ^ A b C Jackson, Allyn (září 2007), „Rozhovor s Martinem Davisem“ (PDF), Oznámení Americké matematické společnosti, Providence, RI: Americká matematická společnost (zveřejněno v květnu 2008), 55 (5), s. 560–571, ISSN  0002-9920, OCLC  1480366.
  2. ^ A b C d E O'Connor, John J.; Robertson, Edmund F., „Martin Davis (matematik)“, MacTutor Historie archivu matematiky, University of St Andrews.
  3. ^ Martin Davis na Matematický genealogický projekt
  4. ^ Davis, Martin (1973). „Hilbertův desátý problém je neřešitelný“. Amer. Matematika. Měsíční. 80 (3): 233–269. doi:10.2307/2318447. JSTOR  2318447.
  5. ^ Seznam členů Americké matematické společnosti, vyvoláno 2014-03-17.

externí odkazy