On the power of probabilistic strategies in inductive inference

Theory of Recursive Functions and Effective Computability.

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

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Toward a mathematical theory of inductive inference

Lenore Blum, Manuel Blum · Information and Control · 1975 · 679 citations

Natural Sciences, Computer Science, Mathematics +9

Limiting recursion

Eric Gold · Journal of Symbolic Logic · 1965 · 227 citations

Computing, Computer Science, Mathematics +12

The Power of Pluralism for Automatic Program Synthesis

Carl H. Smith · Journal of the ACM · 1982 · 141 citations · Full text

Computing, Computer Science, Compilers +7