Martin Davis
Lỗi kịch bản: Không tìm thấy mô đun “Infobox”.Lỗi kịch bản: Không tìm thấy mô đun “Check for unknown parameters”. 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 Lỗi kịch bản: Không tìm thấy mô đun “Footnotes”..
Cuộc đời và Sự nghiệp
Cha mẹ của Davis quen biết nhau ở Lodz, Ba Lan, nhưng chưa kết hôn với nhau cho tới khi họ gặp lại nhau ở thành phố New York Lỗi kịch bản: Không tìm thấy mô đun “Footnotes”.. Davis lớn lên ở Bronx, và được cha mẹ khuyến khích cho học hành đầy đủ Lỗi kịch bản: Không tìm thấy mô đun “Footnotes”..
Ông đậu bằng tiến sĩ ở Đại học Princeton năm 1950, dưới sự cố vấn của Alonzo Church Lỗi kịch bản: Không tìm thấy mô đun “Footnotes”.. Hiện nay ông là giáo sư danh dự ở Đại học New York.
Davis là người đồng khám phá ra các thuật toán Davis-Putnam và thuật toán DPLL (thuật toán Davis-Putnam-Logemann-Loveland). Ông là đồng tác giả (cùng với Ron Sigal và Elaine J. Weyuker) của quyển "Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science", một sách giáo khoa về theory of computability (lý thuyết tính toán được). Ông cũng nổi tiếng về mô hình Post-Turing machine (máy Hậu-Turing).
Giải thưởng
Davis đã đoạt giải Chauvenet năm 1975.
Tham khảo
Trang Bản mẫu:Tham khảo/styles.css không có nội dung.
- Lỗi kịch bản: Không tìm thấy mô đun “Citation/CS1”.