مارتین دیویس

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