Martin Davis：概述他在逻辑、计算机科学和哲学方面的工作

IF 0.6 1区哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE

Philosophia Mathematica Pub Date : 2025-10-15 DOI:10.1093/philmat/nkaf016

Liesbeth De Mol, Yuri V Matiyasevich, Eugenio G Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J Weyuker

{"title":"Martin Davis：概述他在逻辑、计算机科学和哲学方面的工作","authors":"Liesbeth De Mol, Yuri V Matiyasevich, Eugenio G Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J Weyuker","doi":"10.1093/philmat/nkaf016","DOIUrl":null,"url":null,"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.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"94 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2025-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy\",\"authors\":\"Liesbeth De Mol, Yuri V Matiyasevich, Eugenio G Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J Weyuker\",\"doi\":\"10.1093/philmat/nkaf016\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":49004,\"journal\":{\"name\":\"Philosophia Mathematica\",\"volume\":\"94 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2025-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Philosophia Mathematica\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1093/philmat/nkaf016\",\"RegionNum\":1,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Philosophia Mathematica","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1093/philmat/nkaf016","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}

引用次数: 0

摘要

马丁·大卫·戴维斯（Martin David Davis， 1928年8月- 2023年11月）在1999年写的自传体文章《从逻辑到计算机科学再回来》中表示，他认为自己既是逻辑学家又是计算机科学家。2016年，他扩展了这篇文章，并通过更改标题“我作为逻辑学家的生活”表达了新的视角。他指出，逻辑是他科学生涯的统一主题。我们的论文试图提供一个一致的愿景，阐明戴维斯的连续贡献，导致他在可计算性，不可解决的问题，自动推理，以及计算的历史和哲学方面的里程碑式的著作。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Philosophia Mathematica HISTORY & PHILOSOPHY OF SCIENCE-

CiteScore

1.70

自引率

9.10%

发文量

审稿时长

>12 weeks

期刊介绍： Philosophia Mathematica is the only journal in the world devoted specifically to philosophy of mathematics. The journal publishes peer-reviewed new work in philosophy of mathematics, the application of mathematics, and computing. In addition to main articles, sometimes grouped on a single theme, there are shorter discussion notes, letters, and book reviews. The journal is published online-only, with three issues published per year.