AI Communications · 2014 · 132 citations · 17 references
ComputingComputer ScienceArtificial IntelligenceLogicMachine LearningAutomated ReasoningTuring MachinesBackground Knowledge UseComputational LogicMachine Intelligence
During the centennial year of his birth Alan Turing (1912–1954) has been widely celebrated as having laid the foundations for Computer Science, Automated Decryption, Systems Biology and the Turing Test. In this paper we investigate Turing's motivatio
17
A Mathematical Theory of Communication
Claude E. Shannon · Bell System Technical Journal · 1948 · 80.7K citations
Leslie G. Valiant · 1984 · 4.2K citations
An Unsolvable Problem of Elementary Number Theory
Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations