Uncomputability: The problem of induction internalized

DOI10.1016/J.TCS.2003.12.013MaRDI QIDQ1434378zbMATH OpenOpenAlexFDO

Authors Kevin T. Kelly

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2003.12.013

zbMATH Keywords

learning in the limitinductive reasoningcomputing in the limithyper-computation

Mathematics Subject Classification ID

Computational learning theory (68Q32) Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 1163989
• The hypercomputation thesis: stakes and philosophical problems
• Hypercomputation: Philosophical issues
• Induction: a logical analysis
• On the computability of Solomonoff induction and knowledge-seeking

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 1163989 (Why is no real title available?)
• scientific article; zbMATH DE number 1846036 (Why is no real title available?)
• Descriptive set theory
• Limiting recursion
• Means-Ends Epistemology
• On the role of procrastination in machine learning
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The logic of success
• Trial and error predicates and the solution to a problem of Mostowski

Cited in

(6)

• The undecidability of the definability of principal subcongruences
• Ockham's razor, empirical complexity, and truth-finding efficiency
• From undecidability of non-triviality and finiteness to undecidability of learnability
• Logical dialogues with explicit preference profiles and strategy selection
• The case for hypercomputation
• The interrogative model of inquiry and inquiry learning

This page was built for publication: Uncomputability: The problem of induction internalized

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