Toward a mathematical theory of inductive inference
- 30 June 1975
- journal article
- Published by Elsevier BV in Information and Control
- Vol. 28 (2), 125-155
- https://doi.org/10.1016/s0019-9958(75)90261-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Iterated Limiting Recursion and the Program Minimization ProblemJournal of the ACM, 1974
- Representative samples of programmable functionsInformation and Control, 1974
- Some decidability results on grammatical inference and complexityInformation and Control, 1972
- Computational speed-up by effective operatorsThe Journal of Symbolic Logic, 1972
- Language identification in the limitInformation and Control, 1967
- A Machine-Independent Theory of the Complexity of Recursive FunctionsJournal of the ACM, 1967
- The definition of random sequencesInformation and Control, 1966
- Trial and error predicates and the solution to a problem of MostowskiThe Journal of Symbolic Logic, 1965
- A formal theory of inductive inference. Part IIInformation and Control, 1964
- A formal theory of inductive inference. Part IInformation and Control, 1964