Inductive Inference and Reverse Mathematics

DOI10.4230/LIPICS.STACS.2015.420MaRDI QIDQ2955013zbMATH OpenOpenAlexFDO

Authors Rupert Hölzl, Sanjay Jain, Frank Stephan

Publication date 24 January 2017

Full work available at URL https://doi.org/10.4230/LIPIcs.STACS.2015.420

zbMATH Keywords

inductive inferencelearning from positive datarecursion theoryreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computational learning theory (68Q32) Formal languages and automata (68Q45)

Recommendations

• Inductive inference and reverse mathematics
• Mathematical inference and logical inference
• Inductive inference and computable numberings
• Forward induction reasoning revisited
• scientific article; zbMATH DE number 1436988
• Backward induction versus forward induction reasoning

Cited in

(2)

• Making Solomonoff induction effective. Or: you can learn what you can bound
• Inductive inference and reverse mathematics

This page was built for publication: Inductive Inference and Reverse Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2955013)