Categories
  • Proof theory
    •   Encyclosphere.org ENCYCLOREADER
      supported by EncyclosphereKSF

    Proof mining

    Topic: Philosophy

     From Handwiki - Reading time: 1 min

    In proof theory, a branch of mathematical logic, proof mining (or proof unwinding) is a research program that studies or analyzes formalized proofs, especially in analysis, to obtain explicit bounds, ranges or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.[1] This research has led to improved results in analysis obtained from the analysis of classical proofs.

    References

    1. ↑ Ulrich Kohlenbach (2008). Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Verlag, Berlin. pp. 1–536. https://archive.org/details/appliedprooftheo00kohl. 

    Further reading

    • Ulrich Kohlenbach and Paulo Oliva, "Proof Mining: A systematic way of analysing proofs in mathematics", Proc. Steklov Inst. Math, 242:136–164, 2003
    • Paulo Oliva, "Proof Mining in Subsystems of Analysis", BRICS PhD thesis citeseer




    Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Proof_mining&oldid=1027876"
    This article is licensed under CC BY-SA 3.0.
    Original source: https://handwiki.org/wiki/Proof mining
    Status: article is cached
    Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF