مارتین دیویس
مارتین دیویس | |
|---|---|
 | |
| زادهٔ | ۸ مارس ۱۹۲۸ |
| درگذشت | ۱ ژانویهٔ ۲۰۲۳ (۹۴ سال) |
| ملیت | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه پرینستون |
| شناختهشده برای | Davis–Putnam algorithm DPLL algorithm work on مسئله دهم هیلبرت |
| جوایز | Chauvenet Prize (1975) |
| پیشینه علمی | |
| محل کار | دانشگاه نیویورک |
| پایاننامه | On the Theory of Recursive Unsolvability (۱۹۵۰) |
| استاد راهنما | آلونزو چرچ |
| دانشجویان دکتری | John Denes, Robert Di Paola, Thomas Emerson, Ronald Fechter, Richard Gostanian, Keith Harrow, Barry Jacobs, Jean-Pierre Keller, Moshe Koppel, David Linfield, Donald W. Loveland, Eugenio Omodeo, Donald Perlis, Alberto Policriti, Richard Rosenberg, Edward Schwartz, Ron Sigal, Eric Wagner, Martin Zuckerman |
مارتین دِیویس (به انگلیسی: Martin Davis) (زادهٔ ۸ مارس ۱۹۲۸ – درگذشتهٔ ۱ ژانویه ۲۰۲۳) ریاضیدان آمریکایی و استاد بازنشستهٔ دانشگاه نیویورک بود. دیویس در سال ۱۹۵۰ در دانشگاه پرینستون زیر نظر آلونزو چرچ دکترا گرفت. عمدهٔ شهرت او در منطق ریاضی بابت سهم ویژهاش در اثباتِ حلناپذیریِ مسئلهٔ دهم هیلبرت است.
دیویس در ۱۹۷۵ برندهٔ جایزهٔ لروی استیل شد.[۱]
زندگی شخصی و مرگ
دیویس با ویرجینیا وایتفورد (پالمر) دیویس، هنرمند نساجی ازدواج کرد. این زوج در طول مدتی که در شهر اوربانا کمپین بودند با هم آشنا شدند و متعاقباً در سال ۱۹۵۱ ازدواج کردند. آنها دو فرزند داشتند. این زوج پس از بازنشستگی در برکلی، کالیفرنیا زندگی کردند.[۲]
دیویس در ۱ ژانویه ۲۰۲۳ در سن ۹۴ سالگی درگذشت.[۳] همسر وی ویرجینیا چند ساعت بعد در همان روز درگذشت.[۴]
آثار
- Davis, Martin (1973). Hilbert's tenth problem is unsolvable. The American Mathematical Monthly, 80: 233-269.
- مارتین دیویس و روبن هرش، «مسئلهٔ دهم هیلبرت»، ترجمهٔ محمد جلوداریممقانی، نشر ریاضی، سال ۱، شمارهٔ ۲ (مرداد ۱۳۶۷)، صص. ۱۱۶–۱۰۹.
منابع
- ↑ «The Leroy P Steele Prize of the AMS». بایگانیشده از اصلی در ۶ دسامبر ۲۰۱۶. دریافتشده در ۱۸ ژانویه ۲۰۱۷.
- ↑ "Interview with Martin Davis" (PDF). American Mathematical Society - Notices of the AMS. 2008-05-01. pp. 560–571. Retrieved 2023-01-07.
- ↑ "Martin David Davis". Harris Funeral Home. Retrieved January 4, 2023.
- ↑ "Remembering Martin and Virginia Davis". Retrieved 2023-01-08.
- مشارکتکنندگان ویکیپدیا. «Martin Davis». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱۸ ژانویه ۲۰۱۷.