A universal inductive inference machine

DOI10.2307/2274708MaRDI QIDQ3984440zbMATH OpenOpenAlexFDO

Authors Michael Stob, Scott Weinstein, Daniel N. Osherson

Publication date 27 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274708

zbMATH Keywords

detectabilityinductive inferenceLöwenheim-Skolem propertyoracleregular logicscientific discoveryTuring computabilityTuring machineuniversal scientist

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other applications of logic (03B80) Other classical first-order model theory (03C68) Turing machines and related notions (03D10)

Recommendations

• Towards a mathematical theory of machine discovery from facts
• A universal method of scientific inquiry
• scientific article; zbMATH DE number 1351096
• scientific article; zbMATH DE number 1839426

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Paradigms of truth detection

Cited in

(16)

• Belief revision in the service of scientific discovery
• On the danger of half-truths
• On learning formulas in the limit and with assurance.
• The complexity of universal text-learners.
• Induction by enumeration
• Putnam's diagonal argument and the impossibility of a universal learning machine
• Relevant consequence and empirical inquiry
• Learning theory and epistemology
• Scientific discovery based on belief revision
• scientific article; zbMATH DE number 1839426 (Why is no real title available?)
• The complexity of universal text-learners
• Universal inference
• Trial and error mathematics. I: Dialectical and quasidialectical systems
• Induction and Physical Theory Formation As Well As Universal Computation by Machine Learning
• Towards a mathematical theory of machine discovery from facts
• Learning with belief levels

This page was built for publication: A universal inductive inference machine

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