Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Abstract In his autobiographical essay written in 1999, ‘From logic to computer science and back’, Martin David Davis (1928 3 8–2023 1 1) indicated that he viewed himself as a logician 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’s successive contributions leading to his landmark writings on computability, unsolvable problems, automated reasoning, as well as the history and philosophy of computing.
Authors
- Alberto Policriti (ORCID: https://orcid.org/0000-0001-8502-5896)
- Eugenio G. Omodeo (ORCID: https://orcid.org/0000-0003-3917-1942)
- Liesbeth De Mol
- Elaine J. Weyuker (ORCID: https://orcid.org/0000-0002-1660-199X)
- Yuri V Matiyasevich (ORCID: https://orcid.org/0000-0001-7046-3746)
- Wilfried Sieg (ORCID: https://orcid.org/0000-0002-7130-0524)
Institutions
- University of Central Florida (US)
- University of Udine (IT)
- Centre National de la Recherche Scientifique (FR)
- University of Trieste (IT)
- Steklov Mathematical Institute (RU)
- Savoirs, Textes, Langage (FR)
- Carnegie Mellon University (US)
Publication Details
- Journal
- Philosophia Mathematica
- Published
- 2025-08-11
- DOI
- https://doi.org/10.1093/philmat/nkaf016
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00