Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2506.08588 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912422583861248 |
|---|---|
| author | De Mol, Liesbeth Matiyasevich, Yuri V. Omodeo, Eugenio G. Policriti, Alberto Sieg, Wilfried Weyuker, Elaine J. |
| author_facet | De Mol, Liesbeth Matiyasevich, Yuri V. Omodeo, Eugenio G. Policriti, Alberto Sieg, Wilfried Weyuker, Elaine J. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_08588 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy De Mol, Liesbeth Matiyasevich, Yuri V. Omodeo, Eugenio G. Policriti, Alberto Sieg, Wilfried Weyuker, Elaine J. Logic in Computer Science 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. |
| title | Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2506.08588 |