The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions 论文

1966Mathematics of Computation引用 329
DOI
Computability, Logic, AI Algorithms
Computability, Logic, AI Algorithms
相关技术:Computability, Logic, AI Algorithms
关系图谱

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions · 作者

M

Martin Davis

C

Calvin C. Elgot