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