Church's thesis and cognitive science.

A logical calculus of the ideas immanent in nervous activity

Warren S. McCulloch, Walter Pitts · Bulletin of Mathematical Biology · 1943 · 17.7K citations

Symbolic Learning, Cognitive Science, Computational Neuroscience +10

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8K citations

Computable Numbers, Engineering, Automated Reasoning +6

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Engineering, Automated Reasoning, Recursive Functions +6