Scifaro

中文

纪念 Martin Davis

历史与综述 2024-01-19 v1 计算机科学中的逻辑逻辑数论

作者: Wesley Calvert , Valentina Harizanov , Eugenio G. Omodeo , Alberto Policriti , Alexandra Shlapentokh

在 arXiv 上查看 ↗ PDF ↗

摘要

本文向一般数学读者介绍 Martin Davis 的生平与工作。鉴于已有两部相当全面的自传体记述和两篇长篇传记访谈，本文聚焦于 Davis 的科学成就，包括可计算可枚举集、通用 Turing 机、超算术层级、神经网络、Hilbert 第十问题以及自动推理方面的工作。

关键词

Martin Davis 可计算可枚举集通用 Turing 机超算术层级 Hilbert 第十问题自动推理

引用

@article{arxiv.2401.10154,
  title  = {In Memory of Martin Davis},
  author = {Wesley Calvert and Valentina Harizanov and Eugenio G. Omodeo and Alberto Policriti and Alexandra Shlapentokh},
  journal= {arXiv preprint arXiv:2401.10154},
  year   = {2024}
}