مارتین دیویس

مارتین دِیویس ( به انگلیسی: Martin Davis؛ زادهٔ ۱۹۲۸ – درگذشتهٔ ۱ ژانویه ۲۰۲۳ ) ، ریاضی دانی آمریکایی و استاد بازنشستهٔ دانشگاه نیویورک بود. دیویس در سال ۱۹۵۰ در دانشگاه پرینستون زیر نظر آلونزو چرچ دکترا گرفت. عمدهٔ شهرت او در منطق ریاضی بابت سهم ویژه اش در اثباتِ حل ناپذیریِ مسئلهٔ دهم هیلبرت است.
دیویس در ۱۹۷۵ برندهٔ جایزهٔ لروی استیل شد. [ ۱]
دیویس با ویرجینیا وایتفورد ( پالمر ) دیویس، هنرمند نساجی ازدواج کرد. این زوج در طول مدتی که در شهر اوربانا کمپین بودند با هم آشنا شدند و متعاقباً در سال ۱۹۵۱ ازدواج کردند. آنها دو فرزند داشتند. این زوج پس از بازنشستگی در برکلی، کالیفرنیا زندگی کردند. [ ۲]
دیویس در ۱ ژانویه ۲۰۲۳ در سن ۹۴ سالگی درگذشت. [ ۳] همسر وی ویرجینیا چند ساعت بعد در همان روز درگذشت. [ ۴]
• Davis, Martin ( 1973 ) . Hilbert's tenth problem is unsolvable. The American Mathematical Monthly, 80: 233 - 269.
• مارتین دیویس و روبن هرش، «مسئلهٔ دهم هیلبرت»، ترجمهٔ محمد جلوداری ممقانی، نشر ریاضی، سال ۱، شمارهٔ ۲ ( مرداد ۱۳۶۷ ) ، صص. ۱۱۶–۱۰۹.