马丁·戴维斯：他在逻辑学、计算机科学和哲学方面工作的概述
计算机科学中的逻辑
2025-06-11 v1
摘要
马丁·戴维斯（Martin David Davis，1928年3月8日至2023年1月1日）在1999年撰写的自传体文章《从逻辑学到计算机科学再回归》中指出，他认为自己既是一位逻辑学家，也是一位计算机科学家。他于2016年扩展了这篇文章，并通过更改标题《我作为逻辑学家的一生》表达了新的视角。他指出，逻辑学是贯穿其科学生涯的统一主题。我们的论文试图提供一种一致的视角，阐明戴维斯在可计算性、不可解问题、自动推理以及计算的历史和哲学方面的标志性著作之前的一系列贡献。
引用
@article{arxiv.2506.08588,
title = {Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy},
author = {Liesbeth De Mol and Yuri V. Matiyasevich and Eugenio G. Omodeo and Alberto Policriti and Wilfried Sieg and Elaine J. Weyuker},
journal= {arXiv preprint arXiv:2506.08588},
year = {2025}
}