Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

TL;DR

This paper provides a comprehensive overview of Martin Davis's influential work across logic, computer science, and philosophy, highlighting his contributions to computability, unsolvable problems, and automated reasoning.

Contribution

It offers a unified perspective on Davis's career, emphasizing the evolution and impact of his key ideas and writings in computing and logic.

Findings

Davis's work significantly advanced understanding of computability and unsolvable problems.

His contributions shaped automated reasoning and the philosophy of computing.

The paper synthesizes his career's impact on multiple disciplines.

Abstract

In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \emph{and} a computer scientist. He expanded the essay in 2016 and expressed a new perspective through a changed title, ``My life as a logician''. He points out that logic was the unifying theme underlying his scientific career. Our paper attempts to provide a consistent vision that illuminates Davis' successive contributions leading to his landmark writings on computability, unsolvable problems, automated reasoning, as well as the history and philosophy of computing.