马丁·戴维·戴维斯 马丁戴维戴维斯Martin David Davis年月日是一位美国数学家以在希尔伯特第十问题上的工作而著称