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

From MaRDI portal





scientific article; zbMATH DE number 6059525
Language Label Description Also known as
default for all languages
No label defined
    English
    Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity
    scientific article; zbMATH DE number 6059525

      Statements

      Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity (English)
      0 references
      23 July 2012
      0 references
      nonmonotonic reasoning
      0 references
      physical induction
      0 references
      uniqueness implies computability
      0 references
      approximate uniqueness
      0 references
      0 references

      Identifiers