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, ‘M...
Uloženo v:
| Vydáno v: | Philosophia mathematica Ročník 33; číslo 3; s. 425 - 450 |
|---|---|
| Hlavní autoři: | , , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Oxford University Press
|
| ISSN: | 0031-8019, 1744-6406 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Weyuker, Elaine J De Mol, Liesbeth Omodeo, Eugenio G Policriti, Alberto Sieg, Wilfried Matiyasevich, Yuri V |
| Author_xml | – sequence: 1 givenname: Liesbeth orcidid: 0000-0001-8520-2493 surname: De Mol fullname: De Mol, Liesbeth – sequence: 2 givenname: Yuri V orcidid: 0000-0001-7046-3746 surname: Matiyasevich fullname: Matiyasevich, Yuri V – sequence: 3 givenname: Eugenio G orcidid: 0000-0003-3917-1942 surname: Omodeo fullname: Omodeo, Eugenio G – sequence: 4 givenname: Alberto orcidid: 0000-0001-8502-5896 surname: Policriti fullname: Policriti, Alberto – sequence: 5 givenname: Wilfried orcidid: 0000-0002-7130-0524 surname: Sieg fullname: Sieg, Wilfried email: sieg@cmu.edu – sequence: 6 givenname: Elaine J orcidid: 0000-0002-1660-199X surname: Weyuker fullname: Weyuker, Elaine J |
| BookMark | eNotkM1LwzAAxYNMsJueveYsq0uamCbeRv2EygYqHkuaJjZuTUrTVfbf22FPjweP9x6_OZg57zQA1xjdYiTIqq3tvpH9yu2kQZidgQinlMaMIjYDEUIExxxhcQHmIfyMlgnOI7B9k11vHXyQgw33cO3gZtDdYPUv9AbWNsAv3-3gmMj9t1VLmPmmPfS6g-_Kaqf0EkpXwe047oNv6-MlODdyH_TVpAvw-fT4kb3E-eb5NVvnsSII96dbhlKFjCacYaMNkUQjxlOuSlRxyu5YIpKEKiJ0WpZcsFRWAosqrRKZGkUW4Oa_1x_aou1sI7tjgVFxYlFMLIqJBfkD2SxWDA |
| ContentType | Journal Article |
| Copyright | The Authors [2025]. Published by Oxford University Press. 2025 |
| Copyright_xml | – notice: The Authors [2025]. Published by Oxford University Press. 2025 |
| DBID | TOX |
| DOI | 10.1093/philmat/nkaf016 |
| DatabaseName | Oxford Journals Open Access Collection |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: TOX name: Oxford Journals Open Access Collection url: https://academic.oup.com/journals/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 1744-6406 |
| EndPage | 450 |
| ExternalDocumentID | 10.1093/philmat/nkaf016 |
| GroupedDBID | -DZ -E4 -~X .2P .I3 0R~ 123 1TH 29O 2FS 4.4 482 48X 5VS 5WA 70D 8U8 AACJB AAFXQ AAIJN AAJKP AAJQQ AAMOW AAMVS AAMZS AAOGV AAPQZ AAPXW AARHZ AAUAY AAUOS AAUQX AAVAP AAWDT AAXEK ABAZT ABDBF ABDFA ABDTM ABEJV ABEUO ABGNP ABICN ABIME ABIXL ABJHR ABJNI ABKEB ABNGD ABNKS ABPIB ABPQP ABPTD ABQLI ABSMQ ABVGC ABVLG ABWST ABXVK ABXVV ABZBJ ABZEO ACFRR ACGFS ACGOD ACIWK ACMCV ACOZV ACPQN ACQVJ ACUFI ACUHS ACUKT ACUTJ ACUXJ ACVCV ACYTK ACZBC ADAES ADBKU ADEYI ADEZT ADGZP ADHKW ADHZD ADIPN ADLOL ADMHG ADNBA ADOCK ADQBN ADQIT ADRDM ADRTK ADVEK ADYJX ADYLA ADYVW ADZXQ AECKG AEGPL AEHUL AEJER AEJOX AEKKA AEKPW AEKSI AEMDU AENEX AENZO AEPUE AETBJ AEWNT AFFNX AFFZL AFHLB AFIYH AFOFC AFSHK AFSJJ AFVIK AFVSF AFYAG AGFCL AGINJ AGKEF AGKRT AGMDO AGQPQ AGQXC AGSYK AHDHG AHGBF AHXPO AICVH AIJHB AJBYB AJDVS AJEEA AJEUX AJNCP ALMA_UNASSIGNED_HOLDINGS ALTZX ALUQC ALXQX AMVHM ANAKG ANFBD ANNUL APIBT APJGH APWMN AQDSO ASAOO ASPBG ASPYK ATDFG ATGXG ATTQO AVWKF AVWTO AXUDD AYLYT AZFZN AZVOD BAYMD BCRHZ BEFXN BEYMZ BFFAM BGNUA BHONS BHZBG BKEBE BOXDG BPEOZ BQUQU BTQHN CAG CDBKE COF CS3 CXTWN CZ4 DAKXR DFGAJ DILTD DU5 D~K EBS ECIRT EE~ EJD ELUNK ESX ETYVG EYXSX F9B FEDTE FLIZI FLUFQ FOEOM FQBLK GAUVT GJXCC H13 H5~ HAR HVGLF HW0 HZ~ H~9 IOX J21 JAVBF JXSIZ KAQDR KBUDW KOP KSI KSN LOXHT M-Z MBTAY MJWOD MXSPP N9A NGC NMDNZ NOMLY NU- NVLIB O0~ O9- OCL ODMLO OJQWA OJZSN OWPYF OXVUA O~Y PAFKI PB- PEELM PLIXB PQQKQ Q1. Q5Y QBD R44 RD5 RNI ROL ROX ROZ RUSNO RW1 RXO RZF TCN THA TJH TJJ TJP TN5 TOX X7H XOL YADRA YAJVU YAYTL YKOAZ YNT YXANX ZKX ~91 ~D7 ~SN |
| ID | FETCH-LOGICAL-c301t-640f44c0fe3861fef3a3e06878cb0d8465629224c39e7bb8967ad919d7d2a7fc3 |
| IEDL.DBID | TOX |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001593833300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0031-8019 |
| IngestDate | Mon Nov 17 07:40:30 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| License | This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c301t-640f44c0fe3861fef3a3e06878cb0d8465629224c39e7bb8967ad919d7d2a7fc3 |
| ORCID | 0000-0003-3917-1942 0000-0001-8502-5896 0000-0001-7046-3746 0000-0002-1660-199X 0000-0002-7130-0524 0000-0001-8520-2493 |
| OpenAccessLink | https://dx.doi.org/10.1093/philmat/nkaf016 |
| PageCount | 26 |
| ParticipantIDs | oup_primary_10_1093_philmat_nkaf016 |
| PublicationTitle | Philosophia mathematica |
| Publisher | Oxford University Press |
| Publisher_xml | – name: Oxford University Press |
| SSID | ssj0036988 |
| Score | 2.3363726 |
| Snippet | 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... |
| SourceID | oup |
| SourceType | Publisher |
| StartPage | 425 |
| Title | Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy |
| Volume | 33 |
| WOSCitedRecordID | wos001593833300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA1SvHjwW7SoBPTY0N3NbpLxVsTiQds9VNnbks0HLcq2dGvFf2_S3RVBD3qfEJjJvJlkyHsIXYO7VHADAfFkYSSWYUQANJDEmCTRKgC-0SF7fuCjkcgySBuanOqXET7Q_mI6e3XdW798kdY1KA5uw0T4Iz0ZZy3oUgaiBl0aetCFlsXn5_r6J9u3IjLc-8_2-2i3aRXxoI7tAdoy5SHaefziWa2OUFqzAOANV8ANHpR4vPbJb97x3OLprML-MRw7C6-prHq4FXHATU73sCw1Tls9g49j9DS8m9zek0YjgSiXmivC4sDGsQqsoYKF1lgqqQmY4EIVgRaeDS0CV6YVBcOLQgDjUkMImutIcqvoCeqU89KcImxEwSmzEaO6iFWopU4KK7Sl3FDXxyRn6Mo5Ll_ULBh5Pb2meeOfvPFP909W56izWr6ZC7St1qtZtbzcRPMTBIWg3w |
| linkProvider | Oxford University Press |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Martin+Davis%3A+An+Overview+of+his+Work+in+Logic%2C+Computer+Science%2C+and+Philosophy&rft.jtitle=Philosophia+mathematica&rft.au=De+Mol%2C+Liesbeth&rft.au=Matiyasevich%2C+Yuri+V&rft.au=Omodeo%2C+Eugenio+G&rft.au=Policriti%2C+Alberto&rft.pub=Oxford+University+Press&rft.issn=0031-8019&rft.eissn=1744-6406&rft.volume=33&rft.issue=3&rft.spage=425&rft.epage=450&rft_id=info:doi/10.1093%2Fphilmat%2Fnkaf016&rft.externalDocID=10.1093%2Fphilmat%2Fnkaf016 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0031-8019&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0031-8019&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0031-8019&client=summon |