In Memory of Martin Davis
CoRR(2024)
摘要
The present paper gives an account for the general mathematical reader of the
life and work of Martin Davis. Since two rather comprehensive autobiographical
accounts and two long biographical interviews already exist, the present work
focusses on Davis's scientific achievements, including work on computably
enumerable sets, universal Turing machines, the hyperarithmetical hierarchy,
neural networks, Hilbert's Tenth Problem, and automated reasoning.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要