مارتین دیویس
ریاضی‌دان آمریکایی
مارتین دِیویس (به انگلیسی: Martin Davis؛ زادهٔ ۱۹۲۸ – درگذشتهٔ ۱ ژانویه ۲۰۲۳)، ریاضی‌دانی آمریکایی و استاد بازنشستهٔ دانشگاه نیویورک بود. دیویس در سال ۱۹۵۰ در دانشگاه پرینستون زیر نظر آلونزو چرچ دکترا گرفت. عمدهٔ شهرت او در منطق ریاضی بابت سهم ویژه‌اش در اثباتِ حل‌ناپذیریِ مسئلهٔ دهم هیلبرت است.
| مارتین دیویس | |
|---|---|
 | |
| زادهٔ | ۱۹۲۸ (۹۵–۹۶ سال) نیویورک |
| درگذشت | ۱ ژانویهٔ ۲۰۲۳ (۹۴ سال) برکلی، کالیفرنیا، ایالات متحده آمریکا |
| ملیت | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه پرینستون |
| شناخته‌شده برای | 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 |
دیویس در ۱۹۷۵ برندهٔ جایزهٔ لروی استیل شد.[۱]
زندگی شخصی و مرگ ویرایش
دیویس با ویرجینیا وایتفورد (پالمر) دیویس، هنرمند نساجی ازدواج کرد. این زوج در طول مدتی که در شهر اوربانا کمپین بودند با هم آشنا شدند و متعاقباً در سال ۱۹۵۱ ازدواج کردند. آنها دو فرزند داشتند. این زوج پس از بازنشستگی در برکلی، کالیفرنیا زندگی کردند.[۲]
دیویس در ۱ ژانویه ۲۰۲۳ در سن ۹۴ سالگی درگذشت.[۳] همسر وی ویرجینیا چند ساعت بعد در همان روز درگذشت.[۴]
آثار ویرایش
- 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». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۸ ژانویه ۲۰۱۷.