Induction, pure and simple

This publication has 17 references indexed in Scilit:

• Experimental logics and Δ inf2 sup0 - theories
  Journal of Philosophical Logic, 1975
• Toward a mathematical theory of inductive inference
  Information and Control, 1975
• A theorem about automatic programming
  ACM SIGART Bulletin, 1975
• Some decidability results on grammatical inference and complexity
  Information and Control, 1972
• On the inference of Turing machines from sample computations
  Artificial Intelligence, 1972
• Language identification in the limit
  Information and Control, 1967
• Limiting recursion
  The Journal of Symbolic Logic, 1965
• Recursive predicates and quantifiers
  Transactions of the American Mathematical Society, 1943
• An Unsolvable Problem of Elementary Number Theory
  American Journal of Mathematics, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931