Мартін Девіс
З Вікіпедії, безкоштовно encyclopedia
|Батько= |Посада= |Діти= |Мати= |Дружина= |Чоловік=
Коротка інформація Мартін Девіс, Martin Davis ...
Мартін Девіс | |
---|---|
Martin Davis | |
![]() | |
Ім'я при народженні | англ. Martin David Davis[1] |
Народився | 8 березня 1928(1928-03-08) Нью-Йорк, США |
Помер | 1 січня 2023(2023-01-01)[2] (94 роки) Берклі, Каліфорнія, США |
Поховання | Cypress Lawn Memorial Parkd[3] |
Країна | ![]() |
Національність | Американець |
Діяльність | математик, викладач університету, інформатик |
Alma mater | Принстонський університет (1950)[1] Вища наукова школа Бронксуd (1944)[1] Сіті Коледж (1948)[1] |
Галузь | теорія чисел, математика[4], Hilbert's tenth problemd[1] і теорія обчислюваності |
Заклад | Нью-Йоркський університет[1] Університет Іллінойсу в Урбана-Шампейн[1] Інститут перспективних досліджень[1][5] Університет Каліфорнії в Дейвісі[1] Університет штату Огайо[1] Політехнічний інститут Ренсселераd[1] Університет Єшиваd[1] Нью-Йоркський університет[1] |
Науковий керівник | Алонзо Черч |
Аспіранти, докторанти | Moshe Koppeld[6] Donald W. Lovelandd[6] Donald Perlisd[6] Robert Arnold Di Paolad[6] Edward Norman Schwartzd[6] John Denesd[6] Richard Gostaniand[6] Keith Harrowd[6] Barry Jacobsd[6] Richard Marshall Rosenbergd[6] Jean-Pierre Kellerd[6] David Linfieldd[6] Ronald Fechterd[6] Thomas Emersond[6] Martin Michael Zuckermand[6] Eric G. Wagnerd[6] Alberto Policritid[6] Ron Mark Sigald[6] Eugenio Giovanni Omodeod[6] |
Членство | Американська академія мистецтв і наук Американське математичне товариство[7][8] |
Відомий завдяки: | Алгоритм Девіса-Патнема[en] Алгоритм DPLL робота над десятою проблемою Гільберта |
Нагороди | Премія Шовене[en] (1975) |
Особ. сторінка | cs.nyu.edu/cs/faculty/davism/ |
![]() |
Закрити
У Вікіпедії є статті про інших людей із прізвищем Девіс.
Мартін Девід Девіс (англ. Martin Davis; 8 березня 1928 — 1 січня 2023) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта.[9][10]