Martin Davis
From Wikipedia, the free encyclopedia
Martin David Davis, (sinh năm 1928 tại thành phố New York) là nhà toán học người Mỹ, nổi tiếng về bài toán thứ 10 của Hilbert (Jackson 2008, tr. 560).
Thông tin Nhanh Sinh, Quốc tịch ...
Martin Davis | |
---|---|
Photo courtesy George M. Bergman | |
Sinh | 1928 Thành phố New York |
Quốc tịch | Mỹ |
Trường lớp | Đại học Princeton |
Nổi tiếng vì | Thuật toán Davis-Putnam Thuật toán DPLL |
Giải thưởng | Giải Chauvenet (1975) |
Sự nghiệp khoa học | |
Nơi công tác | Đại học New York |
Người hướng dẫn luận án tiến sĩ | Alonzo Church |
Đóng