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_27zbMath1357.03063OpenAlexW43360265MaRDI QIDQ2900535

Vladik Ya. 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

• Investigation of constructive functions by the method of fillings
• Constructive assertions in an extension of classical mathematics
• Mechanik
• An introduction to Kolmogorov complexity and its applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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