<logic> Originally and narrowly, the thesis that all intuitively effective methods are generally recursive (in the sense of this term used in recursive function theory). Due to Alonzo Church, 1935. Currently and more broadly, the thesis that all intuitively effective methods are captured in any one of several formalizations, including recursive function theory, Turing machines, Markov algorithms, the Lambda calculus, and so on.
See recursive function theory
[Glossary of First-Order Logic]
Try this search on OneLook / Google