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

Authors 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)

Recommendations

• Inductive reasoning and Kolmogorov complexity
• Nonmonotonic reasoning is sometimes simpler!
• Monotonic and non-monotonic inductive inference
• A logical expression of reasoning
• scientific article; zbMATH DE number 970611

Cites work

• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 3551792 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2187721 (Why is no real title available?)
• An introduction to Kolmogorov complexity and its applications
• Constructive assertions in an extension of classical mathematics
• Investigation of constructive functions by the method of fillings
• The Feynman lectures on physics 1. Mechanics. Translated from the English by Henner Wessel and Karen Lippert

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)