Будянська КБ-11
Пісочниця ред.
Мартін Девід Девіс (народився 1928) є Американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта [ru].[1][2]
Біографія ред.
Батьки Девіса були єврейськими іммігрантами США з міста Лодзь, Польща, і одружилися після того, як вони знову зустрілися в Нью-Йорку. Девіс виріс в місті Бронкс, де його батьки заохочували його бажання отримати повноцінну освіту.[1][2]
Він отримав докторський ступінь в Принстонському університеті в 1950, де його керівником був Алонзо Церква.[1] <вих ім'я="mactutor«[3] Він Професор Почесний в Нью-Йоркського університету.
Внески ред.
Девіс є со-винахідник алгоритму Девіс-Putnam та алгоритми DPLL. Він також відомий своєю моделі машини після Тьюринга.
Нагороди та почесні звання ред.
В 1975, Девіс виграв Leroy П. Стил премії, Шовене премії, і Lester R. Форд премії за роботи по десятій проблеми Гільберта.[2] Він став a молодець з Американська академія мистецтв та наук 1982 року,[2] і в 2012, він був обраний як одного з урочисті стипендіати Американського математичного товариства.[4]
Окремі видання ред.
- Книги
- Девіс, Мартін (1977). Стосовно нестандартний аналіз. Нью-Йорк: Wiley. ISBN 9780471198970.
- Девіс, Мартін; Weyuker, Елейн J.; Сігал, Рон (1994). вичіслімості, складність та мови: Основи теоретичної інформатики (вид. 2й). Бостон: Academic Press, Харкорт, Брейс. ISBN 9780122063824.
- Девіс, Мартін (2000). Двигуни логіки: математики та походження комп'ютера. Нью-Йорк: Нортон. ISBN 9780393322293.
- Огляд ' ' Двигуни логіки ' ': Уоллес, Річард С., Математики, хто забуває помилок історії: a огляд Двигуни Logic Мартін Девіс, ALICE AI Підстава.
- Статті
- Девіс, Мартін (1995), "Є математичне розуміння алгоритмічного", Поведінкові та мозку наук,13 (4), 659-60.
також ред.
Список літератури ред.
- ↑ а б в Jackson, Allyn (September 2007), Interview with Martin Davis (PDF), Notices of the American Mathematical Society, Providence, RI: American Mathematical Society, т. 55, № 5, с. 560—571, ISSN 0002-9920, OCLC 1480366.
- ↑ а б в г Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Будянська КБ-11 в архіві MacTutor (англ.)
- ↑ Будянська КБ-11(англ.) в проєкті «Математична генеалогія».
- ↑ List of Fellows of the American Mathematical Society, retrieved 2014-03-17.
посилання ред.
{{Persondata <Metadata: see Wikipedia:Persondata.--> |NAME =Девіс, Мартін |ALTERNATIVE NAMES = |SHORT DESCRIPTION = американський математик |DATE OF BIRTH = 1928 |PLACE OF BIRTH =Нью-Йорк |DATE OF DEATH = |PLACE OF DEATH = }}
Це незавершена стаття про особу США. Ви можете допомогти проєкту, виправивши або дописавши її. |