Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity

DOI10.1007/978-3-642-30743-0_27zbMATH Open1357.03063OpenAlexW43360265MaRDI QIDQ2900535FDOQ2900535

Vladik Kreinovich

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=1649&context=cs_techrep

zbMATH Keywords

nonmonotonic reasoningapproximate uniquenessphysical inductionuniqueness implies computability

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Logic in the philosophy of science (03A10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to Kolmogorov complexity and its applications
• Mechanik
• Title not available (Why is that?)
• Constructive assertions in an extension of classical mathematics
• Investigation of constructive functions by the method of fillings
• Title not available (Why is that?)

   Recommendations

• Inductive reasoning and Kolmogorov complexity 👍 👎
• Nonmonotonic reasoning is sometimes simpler! 👍 👎
• Monotonic and non-monotonic inductive inference 👍 👎
• A logical expression of reasoning 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity

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