Мартин Дэвис (математик)
- Мартин Дэвис — американский математик, внесший значительный вклад в теорию вычислимости и сложность вычислений.
- Он разработал алгоритм Дэвиса-Патнэма-Логемана-Лавленда для решения задачи CNF-SAT.
- Дэвис также внес вклад в области сложности вычислений и математической логики.
- Он был известен своей моделью машин Пост-Тьюринга.
- Его книги «Вычислимость и неразрешимость» и «Универсальный компьютер» считаются классическими в теоретической информатике.
- Дэвис был женат на Вирджинии Уайтфорд Палмер и имел двоих детей.
- Он скончался в 2023 году, оставив после себя значительный вклад в области математики и информатики.
Полный текст статьи: