Toward a mathematical theory of inductive inference. (English) Zbl 0375.02028


03D20 Recursive functions and relations, subrecursive hierarchies
03D10 Turing machines and related notions
68Q25 Analysis of algorithms and problem complexity
03D99 Computability and recursion theory
03D05 Automata and formal grammars in connection with logical questions
03D80 Applications of computability and recursion theory
68W99 Algorithms in computer science
Full Text: DOI